test/metastate/Makefile

   1 .PHONY: tainted file
   2
   3 SPLINT = splint
   4
   5 all: file sockets struct nullbranch osd
   6
   7 file:
   8         ${SPLINT} -mts file file1.c -expect 4
   9         ${SPLINT} -mts file file2.c -varuse -fcnuse -expect 2
  10         ${SPLINT} -mts file file3.c -varuse -fcnuse -expect 2
  11         ${SPLINT} -mts file file4.c -varuse -fcnuse -exportlocal -expect 1
  12         ${SPLINT} -mts file file5.c -varuse -fcnuse -exportlocal -expect 4
  13         ${SPLINT} -mts file file6.c -varuse -fcnuse -exportlocal -expect 2
  14         ${SPLINT} -mts file filebad.c -expect 3
  15
  16 sockets:
  17         ${SPLINT} sockets.mts sockets.c -expect 3
  18         ${SPLINT} sockets.mts sockets2.c -expect 2
  19
  20 struct:
  21         ${SPLINT} -mts file struct.c -expect 1
  22
  23 nullbranch:
  24         ${SPLINT} -mts file nullbranch.c -expect 2
  25
  26 osd:
  27         ${SPLINT} -mts file osd.c -expect 2