diff --git a/scripts/chroot.sh b/scripts/chroot.sh index 7bc961e916de3911f690f5bff992a5f62eb232e9..b9c6641687087ade14f38e95f051ed4e31208a03 100755 --- a/scripts/chroot.sh +++ b/scripts/chroot.sh @@ -199,7 +199,9 @@ chroot_umount () { chroot_umount_failure () { chroot_umount - exit 1 + if [ ! -f ${DIR}/jenkins.build ] ; then + exit 1 + fi } trap chroot_umount_failure EXIT