add basic Flexelinting

parent d113423b
-efile(537, tbl*)
-efile(451, tbl*)
-ecall(835, dlopen)
-e801 // goto
-ecall(840, VSB_bcat)
-e793 // significant characters in an external identifier
// we can not change external interfaces / code
-efile(766, *_if.c)
-emacro(776, RUP2) // macro is not for int
// must always be included to ensure sanity
-efile(766, config.h)
#!/bin/sh
if [ "x$1" = "x-ok" -a -f _.fl ] ; then
echo "Saved as reference"
mv _.fl _.fl.old
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 \
flint.lnt \
-zero \
-I.. \
-I${VARNISHSRC}/include \
-I${VARNISHSRC}/bin/varnishd \
$(ls *.c | grep -v .stub) \
2>&1 | tee _.fl
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