phase1: restore 'build' directory after expiry

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 <hacks@slashdirt.org>

diff --git a/phase1/expire.sh b/phase1/expire.sh
index 2313d196719f6878f39dab11794d690c1c7b66e4..e965f845b93ff38c3ec17c4e619ef14ae5a40e31 100755 (executable)
--- 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