Index: outside_chroot_common.sh |
diff --git a/outside_chroot_common.sh b/outside_chroot_common.sh |
index 6947171b35d3d53482e01beef1fa1742fcc62ac9..3cc4f2ea1a598ebaf53f80f2c1b97582a8999c38 100644 |
--- a/outside_chroot_common.sh |
+++ b/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" |