From 54c539421da2177cb3a45283b23ccfc90a750ae0 Mon Sep 17 00:00:00 2001
From: Amit Pundir <amit.pundir@linaro.org>
Date: Fri, 25 Jan 2013 17:01:16 +0530
Subject: build android: make sure no one sets SOURCE_OVERLAY_OPTIONAL in
 official build configurations

---
 build-scripts/build-android | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'build-scripts/build-android')

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
-- 
cgit v1.2.3