]> andersk Git - splint.git/blobdiff - test/db1/Makefile
Added support for ISO C99 _Bool and stdbool bool/true/false. The
[splint.git] / test / db1 / Makefile
index 024cee9376b7b9c1b637c2240c0f62ec08987ce1..8d5274c437290dcb7a6acbde47f6f6f93dc5d3ce 100644 (file)
@@ -9,7 +9,7 @@
 
 ### SHELL = /bin/csh -f
 
-SPLINT = splint -booltype bool
+SPLINT = splint -booltype bool -booltrue TRUE -boolfalse FALSE
 LCL = $(SPLINT) -specundef +lh +quiet -nof
 SPLINTLH = $(SPLINT) +lh
 LCSFILES = bool.lcs dbase.lcs employee.lcs empset.lcs erc.lcs eref.lcs ereftab.lcs 
This page took 0.036785 seconds and 4 git commands to generate.