diff --git a/tools/build_script.sh b/tools/build_script.sh index 770de73d12a682c4a5466efdefad965fd68fef2b..9db7ea53dff5136232e89ab82ef671f0c78f032c 100755 --- a/tools/build_script.sh +++ b/tools/build_script.sh @@ -61,6 +61,12 @@ function main() { check_style) check_style ;; + *) + echo "build failed" + exit 1 + ;; + esac + echo "check_style finished as expected" } main $@