Don't force a rerun to save reference if we just ran it.

403a3619 · Poul-Henning Kamp · 91f22a16 · 403a3619
Commit 403a3619 authored Jun 22, 2011 by Poul-Henning Kamp
Hide whitespace changes
Inline Side-by-side

Showing with 7 additions and 0 deletions

flint.sh bin/varnishd/flint.sh +7 -0

No files found.
--- a/bin/varnishd/flint.sh
+++ b/bin/varnishd/flint.sh
 #!/bin/sh

+if [ "x$1" = "x-ok" -a -f _.fl ] ; then
+	echo "Saved as reference"
+	mv _.fl _.fl.old
+	exit 0
+fi
+
 flexelint \
 	../flint.lnt \
 	flint.lnt \
@@ -21,5 +27,6 @@ if [ -f _.fl.old ] ; then
 fi

 if [ "x$1" = "x-ok" ] ; then
+	echo "Saved as reference"
 	mv _.fl _.fl.old
 fi