diff options
Diffstat (limited to 'BuildTools/Scripts')
| -rwxr-xr-x | BuildTools/Scripts/travis/build.sh | 2 | ||||
| -rwxr-xr-x | BuildTools/Scripts/travis/build_install.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/BuildTools/Scripts/travis/build.sh b/BuildTools/Scripts/travis/build.sh index 391100ac..8a4c2678 100755 --- a/BuildTools/Scripts/travis/build.sh +++ b/BuildTools/Scripts/travis/build.sh @@ -3,7 +3,7 @@ cd build if [ "$TRAVIS_OS_NAME" = "linux" ]; then cmake .. -G "Unix Makefiles" $1 -DCMAKE_BUILD_TYPE=${CONFIG} - cmake --build . + cmake --build . && return ${PIPESTATUS[0]} fi if [ "$TRAVIS_OS_NAME" = "osx" ]; then diff --git a/BuildTools/Scripts/travis/build_install.sh b/BuildTools/Scripts/travis/build_install.sh index b2105d25..5b2cecd2 100755 --- a/BuildTools/Scripts/travis/build_install.sh +++ b/BuildTools/Scripts/travis/build_install.sh @@ -3,7 +3,7 @@ cd build if [ "$TRAVIS_OS_NAME" = "linux" ]; then cmake .. -G "Unix Makefiles" $1 -DCMAKE_BUILD_TYPE=${CONFIG} -DCMAKE_INSTALL_PREFIX=install - cmake --build . --target install + cmake --build . --target install && return ${PIPESTATUS[0]} fi if [ "$TRAVIS_OS_NAME" = "osx" ]; then |