From: Holger Levsen Date: Thu, 25 Oct 2012 15:11:00 +0000 (+0200) Subject: cleanup after build X-Git-Url: https://git.uhu-banane.net/?a=commitdiff_plain;h=7a1d93097ff20b7f5a542753cfb790cddce04094;p=profitbricks%2Fjenkins-build-scripts.git cleanup after build --- diff --git a/liveboot_build.sh b/liveboot_build.sh index a8d1e9b..767f16c 100755 --- a/liveboot_build.sh +++ b/liveboot_build.sh @@ -6,6 +6,13 @@ set_failure() { BUILD_END=$(date +%s) $SCRIPTSDIR/liveboot2db.py $JOB_NAME $BUILD_NUMBER $REQUEST_ID $BUILD_START $BUILD_END "failed" + # cleanup mount points + cd /var/cache/pbuilder/build + echo "My PID: $$" + umount -l $$/proc || true + umount -l $$/dev || true + umount -l $$/dev/pts || true + umount -l $$/srv/build || true exit 1 }