diff options
Diffstat (limited to '')
-rw-r--r-- | common/make-run.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/common/make-run.sh b/common/make-run.sh new file mode 100644 index 0000000..8c719b2 --- /dev/null +++ b/common/make-run.sh @@ -0,0 +1,15 @@ +#!/usr/bin/env bash +set -euo pipefail + +WORKDIR="/tmp/${NAME}" + +cleanup() { + cd / + rm -rf "${WORKDIR}" +} + +trap cleanup EXIT + +git clone -q "${URL}" "${WORKDIR}" +cd "${WORKDIR}" +make run |