From d229a06b6ea9652b93737f8b84c3790b7b373da5 Mon Sep 17 00:00:00 2001 From: Amit Pundir Date: Thu, 24 Jan 2013 14:26:36 +0530 Subject: user build script: make SOURCE_OVERLAY optional --- build-scripts/create-user-build-script | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'build-scripts/create-user-build-script') diff --git a/build-scripts/create-user-build-script b/build-scripts/create-user-build-script index f7d059f..f3817cc 100755 --- a/build-scripts/create-user-build-script +++ b/build-scripts/create-user-build-script @@ -100,7 +100,9 @@ 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." - exit 1 + echo "Do you want to continue without overlay (which may result in broken build)? (y/n) " + read OVERLAY + [ \${OVERLAY} == y ] || exit 1 fi EOF fi @@ -232,8 +234,10 @@ EOF if [ -n "$SOURCE_OVERLAY" ]; then cat <