diff options
Diffstat (limited to 'bin/chroot-run.sh')
| -rwxr-xr-x | bin/chroot-run.sh | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/bin/chroot-run.sh b/bin/chroot-run.sh index 577fc62c..53b16003 100755 --- a/bin/chroot-run.sh +++ b/bin/chroot-run.sh @@ -66,6 +66,12 @@ EOF } cleanup() { + # hack to get data out of the chroot, used by haskell-package-plan + if [ -e $CHROOT_TARGET/tmp/testrun/stats.csv ] + then + cp -v $CHROOT_TARGET/tmp/testrun/stats.csv $CURDIR + fi + if [ -d $CHROOT_TARGET/proc ]; then sudo umount -l $CHROOT_TARGET/proc || fuser -mv $CHROOT_TARGET/proc fi @@ -100,11 +106,6 @@ EOF chmod +x $CHROOT_TARGET/tmp/chroot-testrun sudo chroot $CHROOT_TARGET /tmp/chroot-testrun - # hack to get data out of the chroot, used by haskell-package-plan - if [ -e $CHROOT_TARGET/tmp/testrun/stats.csv ] - then - cp -v $CHROOT_TARGET/tmp/testrun/stats.csv $CURDIR - fi } bootstrap |