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 990f1854..36fb88ca 100755 --- a/BuildTools/Scripts/travis/build.sh +++ b/BuildTools/Scripts/travis/build.sh @@ -12,6 +12,6 @@ if [ "$TRAVIS_OS_NAME" = "osx" ]; then else cmake .. $1 -G "Xcode" fi - xcodebuild -configuration ${CONFIG} | xcpretty + xcodebuild -configuration ${CONFIG} | xcpretty && exit ${PIPESTATUS[0]} fi diff --git a/BuildTools/Scripts/travis/build_install.sh b/BuildTools/Scripts/travis/build_install.sh index ba729d28..07360cea 100755 --- a/BuildTools/Scripts/travis/build_install.sh +++ b/BuildTools/Scripts/travis/build_install.sh @@ -12,6 +12,6 @@ if [ "$TRAVIS_OS_NAME" = "osx" ]; then else cmake .. -DCMAKE_INSTALL_PREFIX=install -G "Xcode" fi - cmake --build . --target install --config ${CONFIG} | xcpretty + cmake --build . --target install --config ${CONFIG} | xcpretty && exit ${PIPESTATUS[0]} fi |
