root/1.8.3/trunk/utils/splint.sh
| Revision 919, 462 bytes (checked in by shawnw, 1 year ago) | |
|---|---|
| |
| Line | |
|---|---|
| 1 | #!/bin/sh |
| 2 | |
| 3 | # Wrapper script for checking Penn source with splint (http://www.splint.org) |
| 4 | # Run from within the source directory. |
| 5 | |
| 6 | SFLAGS="-I.. -I../hdrs +posixlib -weak" |
| 7 | |
| 8 | # Disable assorted spurious warnings |
| 9 | SFLAGS="$SFLAGS -nestcomment -fixedformalarray" |
| 10 | SFLAGS="$SFLAGS -predbool -retvalother -unrecog" |
| 11 | |
| 12 | # Work around C99/GCC keywords splint doesn't understand |
| 13 | SFLAGS="$SFLAGS -D__restrict= -Drestrict=" |
| 14 | |
| 15 | echo "Using options: $SFLAGS" |
| 16 | |
| 17 | exec splint $SFLAGS $* |
Note: See TracBrowser for help on using the browser.
