From f15f2c96e98298b4894826c029ea9a157b78d6c0 Mon Sep 17 00:00:00 2001 From: RichardG867 Date: Wed, 17 Nov 2021 18:11:10 -0300 Subject: [PATCH] Jenkins: Recreate output directory if it was deleted --- .ci/build.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.ci/build.sh b/.ci/build.sh index f3f8de39c..99b29f2ae 100644 --- a/.ci/build.sh +++ b/.ci/build.sh @@ -172,6 +172,9 @@ then # Clean local tree of gitignored files. git clean -dfX + # Recreate output directory if it was removed by git clean. + [ ! -d "$cwd" ] && mkdir -p "$cwd" + # Save current HEAD commit to VERSION. git log --stat -1 > VERSION || rm -f VERSION