Turn pointless skeleton into just a script

bbad8025 · Nils Goroll · bd297993 · bbad8025
Unverified Commit bbad8025 authored Jan 04, 2021 by Nils Goroll
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 0 deletions

flint.sh src/flint.sh +5 -0

No files found.
--- a/tools/flint_skel.sh
+++ b/tools/flint_skel.sh
@@ -6,6 +6,11 @@ if [ "x$1" = "x-ok" -a -f _.fl ] ; then
 	exit 0
 fi

+if [ "x${VARNISHSRC}" = "x" ] ; then
+	echo >&2 VARNISHSRC needs to point to varnish-cache sources
+	exit 9
+fi
+
 flexelint \
 	-D__FLEXELINT__ \
 	${VARNISHSRC}/flint.lnt \