diff options
| -rw-r--r-- | Makefile.rules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.rules b/Makefile.rules index a7a4879910..e99d4960bb 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -1750,13 +1750,13 @@ check-line-length: @echo searching for overlength lines in files: $(Sources) @echo @echo - @egrep -n '.{81}' $(Sources) /dev/null + egrep -n '.{81}' $(Sources) /dev/null check-for-tabs: @echo searching for tabs in files: $(Sources) @echo @echo - @egrep -n ' ' $(Sources) /dev/null + egrep -n ' ' $(Sources) /dev/null check-footprint: @ls -l $(LibDir) | awk '\ |