diff options
| author | Alexander Barton <alex@barton.de> | 2005-04-09 12:30:55 +0000 |
|---|---|---|
| committer | Alexander Barton <alex@barton.de> | 2005-04-09 12:30:55 +0000 |
| commit | b0ae15e01dfa137d031cfe44dcab9fe233db3ab2 (patch) | |
| tree | f7b6f6d40fc7f138a6e295ef58a05ffa8ff602c9 | |
| parent | 43ba1bc805238433dbffb250cd59dc2e038dac45 (diff) | |
| download | ngircd-b0ae15e01dfa137d031cfe44dcab9fe233db3ab2.tar.gz ngircd-b0ae15e01dfa137d031cfe44dcab9fe233db3ab2.zip | |
Target "lint": check whether splint command is available and suppress
warnings related to the used command line in the output.
| -rw-r--r-- | src/ngircd/Makefile.am | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/ngircd/Makefile.am b/src/ngircd/Makefile.am index 4453a285..f5a7d834 100644 --- a/src/ngircd/Makefile.am +++ b/src/ngircd/Makefile.am @@ -8,7 +8,7 @@ # (at your option) any later version. # Please read the file COPYING, README and AUTHORS for more information. # -# $Id: Makefile.am,v 1.43 2004/05/09 18:23:35 alex Exp $ +# $Id: Makefile.am,v 1.44 2005/04/09 12:30:55 alex Exp $ # AUTOMAKE_OPTIONS = ../portab/ansi2knr @@ -52,6 +52,8 @@ check-help: Makefile chmod 755 check-help 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 ..."; \ @@ -60,7 +62,7 @@ lint: grep "no warnings" lint.out > /dev/null 2>&1; \ if [ $$? -ne 0 ]; then \ waswarning=1; \ - echo; cat lint.out; echo; \ + echo; grep -v "^Command Line: " lint.out; echo; \ w=$$( grep "code warning" lint.out | awk "{ print \$$4 }" ); \ warnings=`expr $$warnings + $$w`; \ files=`expr $$files + 1`; \ |