diff --git a/splint.sh b/splint.sh index 33128c33..bed332de 100755 --- a/splint.sh +++ b/splint.sh @@ -1,2 +1,2 @@ #!/bin/sh -lclint -exportlocal -predbool -boolops +boolint +charint -retvalint -retvalother +ansilimits -I/usr/local/include -I.. -Iarch/x86 -I. -DHAVE_CONFIG_H -DHAVE_BOGUS_SYS_QUEUE_H -Dlint main.c options.c arch.c bytecode.c errwarn.c expr.c file.c floatnum.c globals.c intnum.c parser.c section.c arch/x86/x86arch.c arch/x86/x86bc.c arch/x86/x86expr.c objfmts/dbg/dbg-objfmt.c parsers/nasm/nasm-parser.c preprocs/raw/raw-preproc.c optimizers/basic/basic-optimizer.c ../nasm-bison.c symrec.c hamt.c +splint -exportlocal -predbool -boolops +boolint +charint -retvalint -retvalother +ansi89limits -I/usr/local/include -Isrc -Isrc/arch/x86 -I. -DHAVE_CONFIG_H -DHAVE_BOGUS_SYS_QUEUE_H -Dlint src/main.c src/options.c src/arch.c src/bytecode.c src/errwarn.c src/expr.c src/file.c src/floatnum.c src/globals.c src/intnum.c src/parser.c src/section.c src/arch/x86/x86arch.c src/arch/x86/x86bc.c src/arch/x86/x86expr.c src/objfmts/dbg/dbg-objfmt.c src/objfmts/bin/bin-objfmt.c src/parsers/nasm/nasm-parser.c src/preprocs/raw/raw-preproc.c src/optimizers/basic/basic-optimizer.c nasm-bison.c src/symrec.c src/hamt.c diff --git a/src/lclint.sh b/src/lclint.sh deleted file mode 100755 index 33128c33..00000000 --- a/src/lclint.sh +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/sh -lclint -exportlocal -predbool -boolops +boolint +charint -retvalint -retvalother +ansilimits -I/usr/local/include -I.. -Iarch/x86 -I. -DHAVE_CONFIG_H -DHAVE_BOGUS_SYS_QUEUE_H -Dlint main.c options.c arch.c bytecode.c errwarn.c expr.c file.c floatnum.c globals.c intnum.c parser.c section.c arch/x86/x86arch.c arch/x86/x86bc.c arch/x86/x86expr.c objfmts/dbg/dbg-objfmt.c parsers/nasm/nasm-parser.c preprocs/raw/raw-preproc.c optimizers/basic/basic-optimizer.c ../nasm-bison.c symrec.c hamt.c