diff options
| author | Milosz Wasilewski <milosz.wasilewski@linaro.org> | 2013-06-10 12:46:59 +0100 |
|---|---|---|
| committer | Milosz Wasilewski <milosz.wasilewski@linaro.org> | 2013-06-10 12:46:59 +0100 |
| commit | 54ddcbf5fddabee007ec7985d7a6a546284ec086 (patch) | |
| tree | e0c40091ac03037a806b9e48e3a93b935e8dde26 /build-scripts | |
| parent | 9f72f2479a008ce5afc050858fbe92193697ec7c (diff) | |
added check for the file existence: pinned manifest and source overlay
Diffstat (limited to 'build-scripts')
| -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 |