diff options
author | Tom Ryder <tom@sanctum.geek.nz> | 2018-12-19 15:39:55 +1300 |
---|---|---|
committer | Tom Ryder <tom@sanctum.geek.nz> | 2018-12-19 15:39:55 +1300 |
commit | cd78e65ebb1dc1b60678f0109424022bea86c5e6 (patch) | |
tree | dc7f880a12edab2e978c1e577ff1d80ddf7bed1f /check/man.sh | |
parent | Merge branch 'release/v3.4.0' into develop (diff) | |
download | dotfiles-cd78e65ebb1dc1b60678f0109424022bea86c5e6.tar.gz dotfiles-cd78e65ebb1dc1b60678f0109424022bea86c5e6.zip |
Remove diagnostic messages from check/lint scripts
So that `make -s` works nicely.
Diffstat (limited to 'check/man.sh')
-rw-r--r-- | check/man.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/check/man.sh b/check/man.sh index 89c03890..9eaff0cf 100644 --- a/check/man.sh +++ b/check/man.sh @@ -41,7 +41,4 @@ if [ -s "$td"/nobin ] ; then fi # Exit appropriately -if [ "$ex" -eq 0 ] ; then - printf 'All scripts have manual pages.\n' -fi exit "$ex" |