From c46987b7dd22b8cebcda816239a2eaa5dcc1b52f Mon Sep 17 00:00:00 2001
From: BlackHoleFox <blackholefoxdev@gmail.com>
Date: Sat, 19 Nov 2022 14:18:09 -0600
Subject: Bring back XCode selection CI script

This reverts commit 8514b0097b28f84ee5cfead059a5771c6a693fb0.
---
 src/ci/scripts/select-xcode.sh | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100755 src/ci/scripts/select-xcode.sh

(limited to 'src/ci/scripts/select-xcode.sh')

diff --git a/src/ci/scripts/select-xcode.sh b/src/ci/scripts/select-xcode.sh
new file mode 100755
index 00000000000..3b9c77d42ba
--- /dev/null
+++ b/src/ci/scripts/select-xcode.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+# This script selects the Xcode instance to use.
+
+set -euo pipefail
+IFS=$'\n\t'
+
+source "$(cd "$(dirname "$0")" && pwd)/../shared.sh"
+
+if isMacOS; then
+    if [[ -s "${SELECT_XCODE-}" ]]; then
+        sudo xcode-select -s "${SELECT_XCODE}"
+    fi
+fi
-- 
cgit 1.4.1-3-g733a5