Skip to content

U
unique-xids
Commit 03fe1a49 authored by Poul-Henning Kamp's avatar Poul-Henning Kamp Committed by Tollef Fog Heen
Browse files
Options

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

parent 0459355a
Hide whitespace changes
Inline Side-by-side
Showing with 7 additions and 0 deletions
bin/varnishd/flint.sh
View file @ 03fe1a49
#!/bin/sh #!/bin/sh
if [ "x$1" = "x-ok" -a -f _.fl ] ; then
echo "Saved as reference"
mv _.fl _.fl.old
exit 0
fi
flexelint \ flexelint \
../flint.lnt \ ../flint.lnt \
flint.lnt \ flint.lnt \
...@@ -21,5 +27,6 @@ if [ -f _.fl.old ] ; then ...@@ -21,5 +27,6 @@ if [ -f _.fl.old ] ; then
fi fi
if [ "x$1" = "x-ok" ] ; then if [ "x$1" = "x-ok" ] ; then
echo "Saved as reference"
mv _.fl _.fl.old mv _.fl _.fl.old
fi fi
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment