diff options
-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 |