buildbot-os2.sh: actually report an error code.

2017-07-08 19:25:59 -04:00 · 2017-07-08 19:25:59 -04:00 · 16850b0a9c
parent b2e9cbf004
commit 16850b0a9c
1 changed files with 2 additions and 0 deletions
--- a/extras/buildbot-os2.sh
+++ b/extras/buildbot-os2.sh
@ -64,7 +64,9 @@ fi

 if [ "$OKAY" == "1" ]; then
    echo 1>&2 "Build succeeded."
+    exit 0
 else
    echo 1>&2 "Build failed."
+    exit 1
 fi