diff options
| author | Amit Pundir <amit.pundir@linaro.org> | 2013-01-25 17:01:16 +0530 |
|---|---|---|
| committer | Amit Pundir <amit.pundir@linaro.org> | 2013-01-25 17:01:16 +0530 |
| commit | 54c539421da2177cb3a45283b23ccfc90a750ae0 (patch) | |
| tree | 0f9724c08aba0a1ebd9642c2c5f0250d82df080e /build-scripts/build-android | |
| parent | 6ab299cb947d65b9d3bce7f9b67d55b2b8b19ddb (diff) | |
build android: make sure no one sets SOURCE_OVERLAY_OPTIONAL in official build configurations
Diffstat (limited to 'build-scripts/build-android')
| -rw-r--r-- | build-scripts/build-android | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/build-scripts/build-android b/build-scripts/build-android index 863ec93..ee4937f 100644 --- a/build-scripts/build-android +++ b/build-scripts/build-android @@ -14,6 +14,12 @@ then exit 1 fi +if [ "$SOURCE_OVERLAY_OPTIONAL" == "1" -o -n "$SOURCE_OVERLAY_OPTIONAL" ]; then + echo "ERROR: SOURCE_OVERLAY_OPTIONAL should not be set in official build configuration." + echo " It is meant to be set only in local build scripts to bypass overlays." + exit 1 +fi + source "${BUILD_SCRIPT_ROOT}"/helpers trap infrastructure_error ERR |