Re #10636. "exit" is the correct command.

mantidproject · Dec 5, 2014 · 38845ed · 38845ed
1 parent 25d7cc7
commit 38845ed
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Code/Mantid/Build/Jenkins/buildscript b/Code/Mantid/Build/Jenkins/buildscript
@@ -105,9 +105,9 @@ if [[ ${JOB_NAME} == *coverity_build_and_submit* ]]; then
        --form file=@mantid.tgz --form version=$GIT_COMMIT \
        https://scan.coverity.com/builds?project=mantidproject%2Fmantid)
   if [[ ${status} ]]; then
-    return ${status}
+    exit 1
   else
-    return 0
+    exit 0
   fi
 fi