Make presubmit actually fail the build (#2013)

The exit code wasn't properly acted upon in the makefile.
Make filename-hyphen actually return an non-zero exit code.

Signed-off-by: Miek Gieben <miek@miek.nl>
This commit is contained in:
Miek Gieben
2018-07-30 07:41:52 +01:00
committed by Yong Tang
parent 54ec78c1ba
commit 6e1c02c4ac
2 changed files with 2 additions and 1 deletions

View File

@@ -5,5 +5,6 @@ echo "** presubmit/$(basename $0)"
for dir in "$@"; do
if find $dir | grep '-'; then
echo "** presubmit/$(basename $0): please use an underscore in filenames instead of a hyphen"
exit 1
fi
done