From 79b46e27d6dd054aac8c281ac6897a65d9549f9e Mon Sep 17 00:00:00 2001
From: Julien Dessaux
Date: Tue, 6 Sep 2022 19:55:22 +0200
Subject: Split the deploy script in distinct tasks

---
 common/make-run.sh | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 common/make-run.sh

(limited to 'common/make-run.sh')

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
-- 
cgit v1.2.3