diff options
| -rwxr-xr-x | scripts/build_deps.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/build_deps.sh b/scripts/build_deps.sh index fde8f878..7c0bfa74 100755 --- a/scripts/build_deps.sh +++ b/scripts/build_deps.sh @@ -70,10 +70,10 @@ else if [[ $NDK_VERSION == $EXPECTED_NDK_VERSION ]] then - ./tor-droid-make.sh fetch -c - ./tor-droid-make.sh build -b release + ./tor-droid-make.sh fetch -c || quit "failed to checkout tor dependencies" + ./tor-droid-make.sh build -b release || quit "failed to build tor release binaries" else - echo "expected NDK VERSION: $EXPECTED_NDK_VERSION. But found: $NDK_VERSION" + quit "expected NDK VERSION: $EXPECTED_NDK_VERSION. But found: $NDK_VERSION" fi cd .. |