diff options
| author | Holger Levsen <holger@layer-acht.org> | 2012-12-02 19:45:05 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2012-12-02 19:45:05 +0100 |
| commit | b1c52bbeb2a2cf36e0d6a2c72f805acaca552be5 (patch) | |
| tree | ca5e9439cc1b534827b1ce034a9977999b79a98f | |
| parent | 997b2cbabb1978aa3762ae1557fe29c3780da72f (diff) | |
| download | jenkins.debian.net-b1c52bbeb2a2cf36e0d6a2c72f805acaca552be5.tar.xz | |
fix unmounting, or rather work around..
| -rwxr-xr-x | bin/cd_tester.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/cd_tester.sh b/bin/cd_tester.sh index f57189e6..d950f747 100755 --- a/bin/cd_tester.sh +++ b/bin/cd_tester.sh @@ -142,6 +142,8 @@ if [ ! -z $IMAGE ] ; then curl $URL > $IMAGE fi sudo mkdir -p $IMAGE_MNT + mount | grep -v grep | grep $IMAGE_MNT && sudo umount -l $IMAGE_MNT + sleep 1 sudo mount -o loop,ro $IMAGE $IMAGE_MNT else # |