diff options
| author | Petter Reinholdtsen <pere@hungry.com> | 2012-12-02 23:23:46 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2012-12-05 23:25:07 +0100 |
| commit | 95c3f9c338810604eef6f5585bcc8c7c9e6e30ee (patch) | |
| tree | 5b3e0a237e601d1f17a85fa5316bc7694782c96f | |
| parent | a6417d327261ba2b5a8e8e92b50e90917f0a8118 (diff) | |
| download | jenkins.debian.net-95c3f9c338810604eef6f5585bcc8c7c9e6e30ee.tar.xz | |
Report processes using the chroot partition at the end of each run.
| -rwxr-xr-x | bin/chroot_tester.sh | 2 |
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" |