Index: host/outside_chroot_common.sh |
diff --git a/host/outside_chroot_common.sh b/host/outside_chroot_common.sh |
index c6a09faf8b18b79784ee13703d9152f8084c86fd..06e52bbcfbaab7e484efbf96981c337901558cc1 100644 |
--- a/host/outside_chroot_common.sh |
+++ b/host/outside_chroot_common.sh |
@@ -7,5 +7,10 @@ |
# Sets script_root relative to this directory. |
# From platform/dev/host. |
+if [ -f /etc/debian_chroot ]; then |
+ echo "Must be run from outside the chroot." 2> /dev/null |
+ exit 1 |
+fi |
+ |
SCRIPT_ROOT="$(dirname "$(readlink -f "$0")")/../../../scripts" |