diff options
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/make_artifacts.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index 689b87282..56b19947b 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -16,6 +16,14 @@ esac ARTIFACTS="${ARTIFACTS:-/artifacts}" +# This is our sentinel that tells us when we're done. +rm -f $ARTIFACTS/DONE + +clean_up() { + echo "All done!" > "$ARTIFACTS/DONE" +} +trap clean_up EXIT + # build binaries cabal --version |