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: ; \