]> andersk Git - splint.git/blobdiff - test/Makefile.in
Fixed problem with russian characters.
[splint.git] / test / Makefile.in
index 930d2b5d60d99324b548f3b82b3aabb986193f0e..ab267a78318ca735fa370802d3c15dd205d403b0 100644 (file)
@@ -137,7 +137,7 @@ UNITTESTS = \
   macros macrosef merge mergenull modifies modtest moduncon \
   mongoincludes mystrncat noeffect null nullret nullassign numabstract observer oldstyle outglob outparam \
   parentype postnotnull preds prefixes printflike rc refcounts release repexpose \
-  returned sharing shifts sizesigns slovaknames \
+  returned russian sharing shifts sizesigns slovaknames \
   specclauses \
   special stack staticarray strings \
   stringliteral \
@@ -240,6 +240,9 @@ EXTRA_DIST = ./abst_t.lcl \
               ./db3/erc.lcl \
               ./db3/eref.lcl \
               ./db3/ereftab.lcl \
+              ./db3/README \
+              ./db3/clean \
+              ./db3/tidy \
               ./tq.lcl \
               ./ud2.lcl \
               ./for/.splintrc \
@@ -924,7 +927,6 @@ version:
 
 help:
        -@$(SPLINT)
-       -@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl
        -@$(SPLINT) -help
        -@$(SPLINTP) -asdf
        -@$(SPLINTP) +boolint +boolint 
@@ -1535,6 +1537,11 @@ repexpose:
 returned:
        ${SPLINTR} returned.c -expect 1
 
+### russian added 2003-06-07: bug reported in pre-processing non-standard characters.
+.PHONY: russian
+russian:
+       ${SPLINTR} russian.c 
+
 .PHONY: sharing
 sharing: 
        -$(SPLINTR) sharing1.c -expect 21
This page took 0.034842 seconds and 4 git commands to generate.