File: run_splint.sh

package info (click to toggle)
acx100 20060521-3
  • links: PTS
  • area: contrib
  • in suites: etch, etch-m68k
  • size: 836 kB
  • ctags: 2,349
  • sloc: ansic: 14,341; sh: 636; makefile: 111; perl: 101
file content (3 lines) | stat: -rw-r--r-- 218 bytes parent folder | download | duplicates (3)
1
2
3
#!/bin/sh
# has to be run from acx100 root dir
splint +posix-lib +showscan +showsummary -D__KERNEL__ -DMODULE -D__i686__ -Iinclude -I/usr/src/linux-2.6.3_splint_include/include -I/usr/include src/*.c &>/tmp/splint.log