From 7a1d93097ff20b7f5a542753cfb790cddce04094 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Thu, 25 Oct 2012 17:11:00 +0200 Subject: [PATCH] cleanup after build --- liveboot_build.sh | 7 +++++++ 1 file changed, 7 insertions(+) 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 } -- 2.39.5