From: drl7x <drl7x>
Date: Tue, 12 Mar 2002 03:47:39 +0000 (+0000)
Subject: Fixed error in Makefile.am (/* */ was used for comment instead of #
X-Git-Tag: splint-3_1_0~138
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/99614ff2c5974b4c0f679a2c263177389c5bb4c5

Fixed error in Makefile.am (/* */ was used for comment instead of #
---

diff --git a/src/Makefile.am b/src/Makefile.am
index 14ce349..7e4c5a6 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -380,7 +380,8 @@ splintme:
 splintsome: 
 	./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude lcllib.c  -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw +partial
 
-/* $(LINTSRC) $(LCLSRC)*/
+# drl changed to use # for comment
+#/* $(LINTSRC) $(LCLSRC)*/
 
 splinttest: 
 	./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude cpplib.c +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw +keep +supcounts +partial -null