diff options
author | Sebastian Dröge <sebastian.droege@collabora.co.uk> | 2012-03-09 09:32:45 +0100 |
---|---|---|
committer | Andoni Morales Alastruey <ylatuya@gmail.com> | 2012-03-20 17:19:12 +0100 |
commit | cd5d8f3ad94e0042a861270a7b6d5b53cf92f1ef (patch) | |
tree | 1e42b7de79d65143af90c232488931c64402ed3a /tools | |
parent | 9b40f41af4bd2a553f7f54aefbfa55cfd35c6802 (diff) |
Make chroot script a bit safer by 'set -e'
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/chroot.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/chroot.sh b/tools/chroot.sh index e2b8e70a..1560d24b 100755 --- a/tools/chroot.sh +++ b/tools/chroot.sh @@ -1,5 +1,7 @@ #!/bin/sh +set -e + CHROOT_PREFIX=$1 DISTRO=$2 USER=$3 |