]> andersk Git - splint.git/blobdiff - src/Makefile.am
Fixed error in Makefile.am (/* */ was used for comment instead of #
[splint.git] / 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.068924 seconds and 4 git commands to generate.