Fixed problem with russian characters.

[splint.git] / test / Makefile.in

diff --git a/test/Makefile.in b/test/Makefile.in
index 55d5b671b6dc5c9f5b95b146168706dc32165616..ab267a78318ca735fa370802d3c15dd205d403b0 100644 (file)
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -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 \
@@ -927,7 +927,6 @@ version:
 
 help:
        -@$(SPLINT)
-       -@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl
        -@$(SPLINT) -help
        -@$(SPLINTP) -asdf
        -@$(SPLINTP) +boolint +boolint 
@@ -1538,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