diff options
| -rw-r--r-- | Makefile.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.inc b/Makefile.inc index d36d15f458..86a072ab49 100644 --- a/Makefile.inc +++ b/Makefile.inc @@ -225,7 +225,7 @@ lint lint-stable: grep "^# DESCR:" $$script | sed "s,.*DESCR: *,," ; \ echo ========; \ $$script > $$LINTLOG; \ - if [ `echo $$( wc -l $$LINTLOG ) | cut -d' ' -f1` -eq 0 ]; then \ + if [ `cat $$LINTLOG | wc -l` -eq 0 ]; then \ printf "success\n\n"; \ else \ echo test failed: ; \ |