mirror/86Box
1
0
Fork 0
mirror of https://github.com/86Box/86Box.git synced 2026-02-24 20:35:32 -07:00
Code Issues Packages Projects Releases Activity

Jenkins: Recreate output directory if it was deleted

Browse Source
This commit is contained in:
RichardG867
2021-11-17 18:11:10 -03:00
parent daa8f6731c
commit f15f2c96e9
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
.ci/build.sh
View File

@@ -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