From 9a9d427ef903422301a62a02c2a90d9e7f7dbb2b Mon Sep 17 00:00:00 2001
From: Pietro Albini <pietro@pietroalbini.org>
Date: Tue, 8 Oct 2019 11:57:06 +0200
Subject: ci: extract checking out submodules into a script

---
 src/ci/scripts/checkout-submodules.sh | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100755 src/ci/scripts/checkout-submodules.sh

(limited to 'src/ci/scripts')

diff --git a/src/ci/scripts/checkout-submodules.sh b/src/ci/scripts/checkout-submodules.sh
new file mode 100755
index 00000000000..0b44ea3c90b
--- /dev/null
+++ b/src/ci/scripts/checkout-submodules.sh
@@ -0,0 +1,17 @@
+#!/bin/bash
+# Check out all our submodules, but more quickly than using git by using one of
+# our custom scripts
+
+set -euo pipefail
+IFS=$'\n\t'
+
+source "$(cd "$(dirname "$0")" && pwd)/../shared.sh"
+
+if isWindows; then
+    path="/c/cache/rustsrc"
+else
+    path="${HOME}/rustsrc"
+fi
+
+mkdir -p "${path}"
+"$(cd "$(dirname "$0")" && pwd)/../init_repo.sh" . "${path}"
-- 
cgit 1.4.1-3-g733a5