Fixed problem with russian characters.

[splint.git] / test / Makefile.am

diff --git a/test/Makefile.am b/test/Makefile.am
index 4fd04a8773498d7c5b7d7f0c172da70fa6ee6fe8..07acfc98fccf68fc50de2b82a7bf2ebf5fddcab7 100644 (file)
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -49,7 +49,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 \
@@ -734,6 +734,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