diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2023-04-23 23:07:49 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2023-04-23 23:07:49 +0300 |
| commit | 4638da6350f80b30095252202235ae820f96cdb0 (patch) | |
| tree | 79b0f04efd99d86b5714d81b2466f352341a427c /misc | |
| parent | 252f151213bec1733ad6679a07b790e38d4a5170 (diff) | |
| download | inter-4638da6350f80b30095252202235ae820f96cdb0.tar.xz | |
tooling: fixes race condition when building zip and zip_extras at the same time
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/makezip2.sh | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/misc/makezip2.sh b/misc/makezip2.sh index b5b73200c..9f8c17086 100644 --- a/misc/makezip2.sh +++ b/misc/makezip2.sh @@ -38,18 +38,17 @@ fi # tmp dir ZIPDIR=build/tmp/zip -FONTDIR=build/fonts +if $OPT_EXTRAS; then + ZIPDIR=build/tmp/zip-extras +fi # convert relative path to absolute if needed OUTFILE_ABS=$OUTFILE if [[ "$OUTFILE_ABS" != /* ]]; then - OUTFILE_ABS=$PWD/$OUTFILE_ABS + OUTFILE_ABS="$PWD/$OUTFILE_ABS" fi -# cleanup any previous build -rm -rf "$ZIPDIR" build/tmp/a.zip - -# create directories +rm -rf "$ZIPDIR" mkdir -p "$(dirname "$OUTFILE_ABS")" "$ZIPDIR" cp LICENSE.txt "$ZIPDIR/LICENSE.txt" |