[master] 377c9f6b1 Fix flint scripts

[Poul-Henning Kamp]

commit 377c9f6b184f99906a94df142fcae8133ed21069
Author: Poul-Henning Kamp <phk at FreeBSD.org>
Date:   Thu Jan 7 21:52:15 2021 +0000

    Fix flint scripts

diff --git a/bin/varnishd/flint.sh b/bin/varnishd/flint.sh
index fe6311907..47ac810e3 100755
--- a/bin/varnishd/flint.sh
+++ b/bin/varnishd/flint.sh
@@ -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 $*
diff --git a/tools/flint_skel.sh b/tools/flint_skel.sh
index decb073ce..bf1b3dea6 100755
--- a/tools/flint_skel.sh
+++ b/tools/flint_skel.sh
@@ -1,5 +1,7 @@
 #!/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