1 files changed, 0 insertions, 20 deletions
diff --git a/clone.sh b/clone.sh
deleted file mode 100755
index 350a9b5e8a..0000000000
--- a/clone.sh
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/bin/bash
-
-BASEDIR=$(dirname "$0")
-cd "${BASEDIR}" || exit 1
-BASEDIR=$(pwd)
-
-source config.sh
-if [ -f config/config_local.sh ]; then
-    source config/config_local.sh
-fi
-
-set -x
-
-if [ ! -d "${UPSTREAM_DIR}" ]; then
-    git clone "${UPSTREAM_REPO}" "${UPSTREAM_DIR}"
-fi
-
-if [ ! -d "${LAUNCHER_DIR}" ]; then
-    git clone "${LAUNCHER_REPO}" "${LAUNCHER_DIR}"
-fi