1#!/bin/sh
2
3# Unfortunately splint is crashing in system libraries, so it's not that useful
4
5# Other possibly useful flags:
6#   +weak -warnposixheaders -unrecog
7
8splint  \
9    +posixstrictlib +unixlib +gnuextensions  \
10    -I/usr/include/x86_64-linux-gnu/ -Ilibutils/ \
11    -DHAVE_CONFIG_H -D__linux__ -D__gnuc_va_list=va_list \
12    libutils/*.[ch]
13