diff --git a/ci_scripts/ci_post_clone.sh b/ci_scripts/ci_post_clone.sh index 9d6cd1768..cc16eb3b0 100755 --- a/ci_scripts/ci_post_clone.sh +++ b/ci_scripts/ci_post_clone.sh @@ -2,6 +2,10 @@ BASEDIR=$(dirname "$0") +git=$(which git) + "${BASEDIR}/../Scripts/extract_libraries.sh" +"$git" -C "${BASEDIR}/.." fetch --tags + "${BASEDIR}/../Scripts/genversion.sh"