From 8f2c76605f23cf7473f8f438a049f5345472e2da Mon Sep 17 00:00:00 2001
From: Diego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>
Date: Mon, 21 Oct 2013 17:13:26 -0200
Subject: [PATCH] create-iso-jenkins.sh: Use --clean option to avoid leaving
trash on /dev/shm
Signed-off-by: Diego Giovane Pasqualin <dpasqualin@c3sl.ufpr.br>
---
create-iso-jenkins.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/create-iso-jenkins.sh b/create-iso-jenkins.sh
index 5def50b..1809167 100755
--- a/create-iso-jenkins.sh
+++ b/create-iso-jenkins.sh
@@ -28,6 +28,7 @@ sudo ./create-iso.sh --all "iso/$ISO" \
--dist "$DIST" \
--host "$MIRROR" \
--mirror "$REPO" \
+ --clean \
--output "$OUTPUT" <<< y
RESULT=$?
--
GitLab