]> andersk Git - splint.git/commitdiff
Fixed error in Makefile.am (/* */ was used for comment instead of #
authordrl7x <drl7x>
Tue, 12 Mar 2002 03:47:39 +0000 (03:47 +0000)
committerdrl7x <drl7x>
Tue, 12 Mar 2002 03:47:39 +0000 (03:47 +0000)
src/Makefile.am

index 14ce3498f6c3fd8217d7fc93c1ab89117d49e5b3..7e4c5a62a356b5dbe66d0af8d6bdacad3038fc7c 100644 (file)
@@ -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
This page took 0.066407 seconds and 5 git commands to generate.