diff options
| -rwxr-xr-x | build-scripts/create-user-build-script | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/build-scripts/create-user-build-script b/build-scripts/create-user-build-script index 3d35447..c360c96 100755 --- a/build-scripts/create-user-build-script +++ b/build-scripts/create-user-build-script @@ -121,12 +121,14 @@ fi EOF if [ -n "$SOURCE_OVERLAY" ]; then cat <<EOF -if [ "a\$MANIFEST" == "a" -a \$EXACT -eq 1 ]; then - echo "ERROR: no pinned manifest provided. Please download from $PINNED_MANIFEST_URL. This must be done from a browser that accepts cookies." - exit 1 +if [ \$EXACT -eq 1 ]; then + if [ "a\$MANIFEST" == "a" -o ! -f \$MANIFEST ]; then + echo "ERROR: no pinned manifest provided. Please download from $PINNED_MANIFEST_URL. This must be done from a browser that accepts cookies." + exit 1 + fi fi if [ \$SOURCE_OVERLAY_OPTIONAL -ne 1 ]; then - if [ "a\$SOURCE_OVERLAY" == "a" ]; then + if [ "a\$SOURCE_OVERLAY" == "a" -o ! -f \$SOURCE_OVERLAY ]; 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 fi |