summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPetter Reinholdtsen <pere@hungry.com>2012-12-02 23:23:46 +0100
committerHolger Levsen <holger@layer-acht.org>2012-12-05 23:25:07 +0100
commit95c3f9c338810604eef6f5585bcc8c7c9e6e30ee (patch)
tree5b3e0a237e601d1f17a85fa5316bc7694782c96f
parenta6417d327261ba2b5a8e8e92b50e90917f0a8118 (diff)
downloadjenkins.debian.net-95c3f9c338810604eef6f5585bcc8c7c9e6e30ee.tar.xz
Report processes using the chroot partition at the end of each run.
-rwxr-xr-xbin/chroot_tester.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/chroot_tester.sh b/bin/chroot_tester.sh
index 01e10a2b..44e0be9c 100755
--- a/bin/chroot_tester.sh
+++ b/bin/chroot_tester.sh
@@ -40,6 +40,8 @@ export TMPFILE=$(mktemp -u)
export CTMPFILE=$CHROOT_TARGET/$TMPFILE
cleanup_all() {
+ # List the processes using the partition
+ fuser -mv $CHROOT_TARGET
# test if $CHROOT_TARGET starts with /chroots/
if [ "${CHROOT_TARGET:0:9}" != "/chroots/" ] ; then
echo "HALP. CHROOT_TARGET = $CHROOT_TARGET"