diff --git a/ci_scripts/ci_post_clone.sh b/ci_scripts/ci_post_clone.sh index cc16eb3b0..4bc90d31f 100755 --- a/ci_scripts/ci_post_clone.sh +++ b/ci_scripts/ci_post_clone.sh @@ -2,10 +2,4 @@ BASEDIR=$(dirname "$0") -git=$(which git) - "${BASEDIR}/../Scripts/extract_libraries.sh" - -"$git" -C "${BASEDIR}/.." fetch --tags - -"${BASEDIR}/../Scripts/genversion.sh" diff --git a/ci_scripts/ci_pre_xcodebuild.sh b/ci_scripts/ci_pre_xcodebuild.sh new file mode 100755 index 000000000..f926df3c0 --- /dev/null +++ b/ci_scripts/ci_pre_xcodebuild.sh @@ -0,0 +1,9 @@ +#!/bin/sh + +BASEDIR=$(dirname "$0") + +git=$(which git) + +"$git" -C "${BASEDIR}/.." fetch --tags + +"${BASEDIR}/../Scripts/genversion.sh"