diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -4,6 +4,16 @@ all: clean: bam -c +analyze: + scan-build -V bam + +reanalyze: clean analyze + +splint: + splint -I src/common/include src/common/*/*.c + splint -I src/common/include -I src/kernel/include src/kernel/*/*.c + splint -I src/common/include -I src/lib/include src/lib/*/*.c src/sysbin/*/*.c + rebuild: clean all mrproper: clean |