diff options
Diffstat (limited to 'docker/build.sh')
-rwxr-xr-x | docker/build.sh | 12 |
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 |