-@$(SPLINTP) +boolint +boolint
-@$(SPLINT) -help flags alpha
-
#commenting these out for the release because they will almost always fail
#since the default will only fit one system
#Don't want to panic the user...
-$(SPLINTR) null1.c -null -mustdefine -expect 4
-$(SPLINTR) null2.c -expect 11
-$(SPLINTR) null3.c -expect 15
- -$(SPLINTR) null3.c -warnunixlib +unixlib -expect 16
+ -$(SPLINTR) null3.c +unixlib -expect 16
-$(SPLINTR) null4.c -expect 1
-$(SPLINTR) null5.c -expect 4
-$(SPLINTR) null6 -expect 4
preds:
-$(SPLINTR) +hints preds.c -expect 6
-$(SPLINTRN) +hints preds.c -weak -expect 1
- -$(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12
+ -$(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 10
.PHONY: prefixes
prefixes:
./simplebufferConstraintTests/test7.c \
./sizeoftest/sizeof.c \
./sizeoftest/sizeofConst.c \
+ ./sizeoftest/Makefile \
./strchr/strchr.c \
./suppressfile/test.c \
./tainted/sprintf.c \