build-android/build.sh
changeset 353 f1ca187ee8cb
parent 337 ea7d347eaf6c
child 369 906f46ffd840
     1.1 --- a/build-android/build.sh	Tue Sep 22 10:24:04 2015 +0200
     1.2 +++ b/build-android/build.sh	Sat Sep 26 20:18:22 2015 +0200
     1.3 @@ -1,5 +1,7 @@
     1.4  #!/bin/sh
     1.5  
     1.6 +set -e
     1.7 +
     1.8  build_version=1
     1.9  ANDROID_PLATFORM=android-21
    1.10  openssl_build_version=1
    1.11 @@ -16,6 +18,11 @@
    1.12    exit 1
    1.13  fi
    1.14  
    1.15 +if test "x$GPGME_INCLUDE_PATH" = x ; then
    1.16 +  echo should set GPGME_INCLUDE_PATH before running this script.
    1.17 +  exit 1
    1.18 +fi
    1.19 +
    1.20  function build {
    1.21    rm -rf "$current_dir/obj"
    1.22