diff options
| author | cyBerta <cyberta@riseup.net> | 2021-07-15 11:34:55 +0200 |
|---|---|---|
| committer | cyBerta <cyberta@riseup.net> | 2021-07-21 22:02:28 +0200 |
| commit | 9b4c03d0f80a89d1a8ac79e204d3d417a04d79d4 (patch) | |
| tree | 95d299e7eaa796e80955a5688eb4d1fcf11e204a | |
| parent | 0822d3e0f62d9dcc9c1ce15bea941860affbf94f (diff) | |
quit build process if tor cannot be build
| -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 .. |