diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/buildtests.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/buildtests.sh b/scripts/buildtests.sh index fc7d56f1..4d747634 100755 --- a/scripts/buildtests.sh +++ b/scripts/buildtests.sh @@ -351,6 +351,7 @@ SPLINT() { files="$files $BDIR/src/libical/*.c $BDIR/src/libical/*.h" splint $files \ + -badflag \ -weak -warnposix \ -modobserver -initallelements -redef \ -linelen 1000 \ |