#!/bin/sh

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

#!/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

--- 
+++ 
@@ -1,6 +1,5 @@
 #!/bin/sh
 
-T=/tmp/_$$
 flexelint \
 	-I/usr/include \
 	-I. \
@@ -10,11 +9,4 @@
 	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
+	../../lib/libvcl/*.c
Drop the diff, it's more annoying than helpful.



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