diff options
-rwxr-xr-x | build-scripts/create-user-build-script | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/build-scripts/create-user-build-script b/build-scripts/create-user-build-script index 895715c..012da1b 100755 --- a/build-scripts/create-user-build-script +++ b/build-scripts/create-user-build-script @@ -98,9 +98,7 @@ if [ "a\$MANIFEST" == "a" -a \$EXACT -eq 1 ]; then fi if [ "a\$SOURCE_OVERLAY" == "a" ]; then echo "ERROR: no source overlay provided. Please download from http://snapshots.linaro.org/android/binaries/$SOURCE_OVERLAY. This must be done from a browser that accepts cookies." - echo "Do you want to continue without overlay (which may result in broken build)? (y/n) " - read OVERLAY - [ \${OVERLAY} == y ] || exit 1 + exit 1 fi EOF fi |