#!/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,5 +1,6 @@
 #!/bin/sh
 
+T=/tmp/_$$
 flexelint \
 	-I/usr/include \
 	-I. \
@@ -9,4 +10,11 @@
 	flint.lnt \
 	*.c \
 	../../lib/libvarnish/*.c \
-	../../lib/libvcl/*.c
+	../../lib/libvcl/*.c \
+	> $T
+if [ -f _flint.old ] ; then
+	diff -u _flint.old $T
+fi
+cat $T
+cp $T _flint.old
+rm $T
Drop the diff, it's more annoying than helpful.



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