summaryrefslogtreecommitdiff
path: root/docker
diff options
context:
space:
mode:
Diffstat (limited to 'docker')
-rwxr-xr-xdocker/build.sh12
1 files changed, 11 insertions, 1 deletions
diff --git a/docker/build.sh b/docker/build.sh
index 07e0d17e..b9034a53 100755
--- a/docker/build.sh
+++ b/docker/build.sh
@@ -41,6 +41,8 @@ main() {
if [ "$DISABLE_POSTBUILD" != "true" -a "$BUILD_RESULT" == 0 ]; then
source "$BUILD_DIR/post_build.sh"
fi
+ # assuming post_build.sh will never fail on a successful build
+ return $BUILD_RESULT
}
GetGcc() {
@@ -77,4 +79,12 @@ CmakeBuild() {
fi
}
-[[ $SOURCED == "false" ]] && main "$@" || echo "Sourced!"
+if [[ $SOURCED == "false" ]]; then
+ # It is important to return exit code of main
+ # To be future-proof, this is handled explicitely
+ main "$@"
+ BUILD_RESULT=$?
+ exit $BUILD_RESULT
+else
+ echo "Sourced!"
+fi