diff options
author | JF002 <JF002@users.noreply.github.com> | 2021-01-23 21:33:11 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-23 21:33:11 +0100 |
commit | 80838d1e42e83b50188d6237d16c81cfa27781a6 (patch) | |
tree | 43838fcd252d420ad58f262aad8623de41614fde /docker | |
parent | 0a237a7c3af77112cd71502fce932bd95b97fde7 (diff) | |
parent | a028c39ddd9994a5932d231ead0007ec34bbdf95 (diff) |
Merge pull request #178 from petterhs/docker
check for cmake build-success before running post-build.sh
Diffstat (limited to 'docker')
-rwxr-xr-x | docker/build.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/docker/build.sh b/docker/build.sh index f35c2f3a..8f0d0fa9 100755 --- a/docker/build.sh +++ b/docker/build.sh @@ -31,8 +31,8 @@ main() { CmakeGenerate CmakeBuild $target - - if [[ "$DISABLE_POSTBUILD" != "true" ]]; then + BUILD_RESULT=$? + if [ "$DISABLE_POSTBUILD" != "true" -a "$BUILD_RESULT" == 0 ]; then source "$BUILD_DIR/post_build.sh" fi } @@ -70,7 +70,9 @@ CmakeGenerate() { CmakeBuild() { local target="$1" [[ -n "$target" ]] && target="--target $target" - cmake --build "$BUILD_DIR" --config $BUILD_TYPE $target -- -j$(nproc) + if cmake --build "$BUILD_DIR" --config $BUILD_TYPE $target -- -j$(nproc) + then return 0; else return 1; + fi } [[ $SOURCED == "false" ]] && main "$@" || echo "Sourced!"
\ No newline at end of file |