Fixed problem with russian characters.

[splint.git] / test / Makefile.in

diff --git a/test/Makefile.in b/test/Makefile.in
index 79e5c88a1a51cd4b347f50e112b1593570790484..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 \
@@ -1537,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