Tell flexelint where to find VSC_main.h

49205612 · Nils Goroll · 65217a20 · 49205612
Unverified Commit 49205612 authored Jun 11, 2023 by Nils Goroll
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

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

No files found.
--- a/src/flint.sh
+++ b/src/flint.sh
@@ -15,6 +15,7 @@ flexelint \
 	-I${VARNISHSRC}/include \
 	-I${VARNISHSRC}/bin/varnishd \
 	-I${VARNISHSRC}/lib/libvgz \
+	-I${VARNISHSRC}/lib/libvsc \
 	$(ls *.c | grep -v VSC_) \
 	foreign/*.c \
 	2>&1 | tee _.fl