| 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"
|
|
|
|
|