aboutsummaryrefslogtreecommitdiff
path: root/common
diff options
context:
space:
mode:
Diffstat (limited to 'common')
-rw-r--r--common/make-run.sh15
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