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