aboutsummaryrefslogtreecommitdiff
path: root/common/make-run.sh
diff options
context:
space:
mode:
Diffstat (limited to 'common/make-run.sh')
-rw-r--r--common/make-run.sh15
1 files changed, 0 insertions, 15 deletions
diff --git a/common/make-run.sh b/common/make-run.sh
deleted file mode 100644
index 8c719b2..0000000
--- a/common/make-run.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/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