#!/bin/sh

T=/tmp/_$$
flexelint \
	-I/usr/include \
	-I. \
	-I../../include \
	-I../.. \
	-DVARNISH_STATE_DIR=\"foo\" \
	flint.lnt \
	*.c \
	../../lib/libvarnish/*.c \
	../../lib/libvcl/*.c \
	> $T
if [ -f _flint.old ] ; then
	diff -u _flint.old $T
fi
cat $T
cp $T _flint.old
rm $T

#!/bin/sh

flexelint \
	-I/usr/include \
	-I. \
	-I../../include \
	-I../.. \
	-DVARNISH_STATE_DIR=\"foo\" \
	flint.lnt \
	*.c \
	../../lib/libvarnish/*.c \
	../../lib/libvcl/*.c

Drop the diff, it's more annoying than helpful.
Drop the diff, it's more annoying than helpful.



git-svn-id: 7d4b18ab7d176792635d6a7a77dd8cbbea8e8daa@4230 d4fa192b-c00b-0410-8231-f00ffab90ce4
