We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 081b78f commit 70c04f1Copy full SHA for 70c04f1
scripts/setup_quickstart_spm.sh
@@ -82,6 +82,10 @@ setup_quickstart_repo() {
82
fi
83
echo "Using local quickstart repository at ${QUICKSTART_REPO}" >&2
84
quickstart_dir="${QUICKSTART_REPO}"
85
+ if ! (cd "${quickstart_dir}" && git rev-parse --is-inside-work-tree >/dev/null 2>&1); then
86
+ echo "Error: QUICKSTART_REPO ('${quickstart_dir}') is not a git repository." >&2
87
+ exit 1
88
+ fi
89
else
90
# QUICKSTART_REPO is not set, so clone it.
91
quickstart_dir="quickstart-ios"
0 commit comments