cleanup after build

diff --git a/liveboot_build.sh b/liveboot_build.sh
index a8d1e9be01059dd3f3d77cd70432bd297142b0d3..767f16ca8d2b705b87db3960b833a09080f36f23 100755 (executable)
--- 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
 }