diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-03-08 15:02:26 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-08 15:02:26 -0800 |
| commit | 0515c448592e2b24f79e8a7bd249b396f4f0da62 (patch) | |
| tree | a1352febe595dbe4e884f266a344386cbcab5d06 /linux | |
| parent | cac796e1ab4ed170658d9056b27368e30cde3fcb (diff) | |
| download | pandoc-0515c448592e2b24f79e8a7bd249b396f4f0da62.tar.gz | |
linux/make_artifacts.sh: Use -f when removing artifacts/DONE.
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/make_artifacts.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index 43002218e..043b3f9f2 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -11,7 +11,8 @@ esac ARTIFACTS="${ARTIFACTS:-/artifacts}" -rm $ARTIFACTS/* +# This is our sentinel that tells us when we're done. +rm -f $ARTIFACTS/DONE clean_up() { echo "All done!" > "$ARTIFACTS/DONE" |