*** empty log message ***

[splint.git] / src / Makefile.in

diff --git a/src/Makefile.in b/src/Makefile.in
index 534fbe5bab5fd46bb879621c27fd3a31f2499dcb..7615e79f995fb10fd840804b607cd9be703bc56d 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -1111,11 +1111,11 @@ nocheck:
 
 .PHONY: test
 test:
-       ${MAKE} ; cd ../test; ${MAKE} --no-print-directory
+       cd ../test; ${MAKE} --no-print-directory
 
 .PHONY: libs
 libs:
-       ${MAKE} ; cd ../lib; ${MAKE} --no-print-directory
+       cd ../lib; ${MAKE} --no-print-directory
 
 ### Automake generates wrong tags
 .PHONY: etags
@@ -1127,6 +1127,9 @@ lintnew: splintme
 splintme: 
        ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude  $(OVERFLOWCHSRC) $(LINTSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw -mts tainted
 
+splintmebounds: 
+       ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude  $(OVERFLOWCHSRC) $(LINTSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw -mts tainted +bounds +impboundsconstraints
+
 splintmesupcounts: 
        ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude  $(OVERFLOWCHSRC) $(LINTSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments  -fcnuse -incondefs -exportlocal -supcounts -constuse -mts file -mts filerw