From f4b39674f289308be4b63504e00be1e69eeaea99 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Thibaut=20VAR=C3=88NE?= Date: Tue, 26 Jun 2018 17:48:08 +0200 Subject: [PATCH] phase1: restore 'build' directory after expiry MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit expire.sh wipes the salve 'build' directory, which throws the next step out of its track as os.path.exists() and os.makedirs() do not agree. Recreate the 'build' directory after expire has deleted everything. Signed-off-by: Thibaut VARÈNE --- phase1/expire.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/phase1/expire.sh b/phase1/expire.sh index 2313d19..e965f84 100755 --- a/phase1/expire.sh +++ b/phase1/expire.sh @@ -14,6 +14,8 @@ elif [ $tree_age -ge $max_lifetime ]; then printf "." done + mkdir build + echo "" echo "Writing new timestamp" date +%s > tree.timestamp -- 2.30.2