Skip to content

V
varnish-cache
Commit 377c9f6b authored by Poul-Henning Kamp's avatar Poul-Henning Kamp
Browse files
Options

Fix flint scripts

parent 94fba10c
Hide whitespace changes
Inline Side-by-side
Showing with 3 additions and 6 deletions
bin/varnishd/flint.sh
View file @ 377c9f6b
......@@ -23,4 +23,4 @@ FLOPS='
../../vmod/vcc_debug_if.c
../../vmod/vmod_debug*.c
../../vmod/VSC_debug*.c
' ../../tools/flint_skel.sh
' ../../tools/flint_skel.sh $*
tools/flint_skel.sh
View file @ 377c9f6b
#!/bin/sh
set -x
if [ "x$1" = "x-ok" -a -f _.fl ] ; then
echo "Saved as reference"
mv _.fl _.fl.old
......@@ -34,8 +36,3 @@ flexelint \
if [ -f _.fl.old ] ; then
diff -u _.fl.old _.fl
fi
if [ "x$1" = "x-ok" ] ; then
echo "Saved as reference"
mv _.fl _.fl.old
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