-lint:
- @splint --version >/dev/null 2>&1 \
- || ( echo; echo "Error: \"splint\" not found!"; echo; exit 1 )
- @echo; warnings=0; files=0; \
- for f in *.c; do \
- echo "checking $$f ..."; \
- splint $$f $(LINTARGS) -I$(srcdir) -I$(srcdir)/.. \
- $(INCLUDES) $(AM_CFLAGS) >lint.out 2>&1; \
- grep "no warnings" lint.out > /dev/null 2>&1; \
- if [ $$? -ne 0 ]; then \
- waswarning=1; \
- echo; grep -v "^Command Line: " lint.out; echo; \
- w=$$( grep "code warning" lint.out | $(AWK) "{ print \$$4 }" ); \
- [ "$$w" -gt 0 ] && warnings=`expr $$warnings + $$w`; \
- files=`expr $$files + 1`; \
- else \
- waswarning=0; \
- fi; \
- rm -f lint.out; \
- done; \
- [ $$waswarning -eq 0 ] && echo; \
- [ $$warnings -gt 0 ] \
- && echo "Result: $$warnings warning(s) in $$files file(s)!" \
- || echo "Result: no warnings found."; \
- echo; [ $$warnings -gt 0 ] && exit 1
-