File tree Expand file tree Collapse file tree 2 files changed +17
-3
lines changed
Expand file tree Collapse file tree 2 files changed +17
-3
lines changed Original file line number Diff line number Diff line change 4747 "cmake.useCMakePresets" : " always" ,
4848 "cmake.generator" : " Ninja" ,
4949 "C_Cpp.default.cStandard" : " c17" ,
50- "C_Cpp.default.cppStandard" : " c++20 " ,
50+ "C_Cpp.default.cppStandard" : " c++23 " ,
5151 "C_Cpp.default.intelliSenseMode" : " linux-gcc-x64" ,
5252 "C_Cpp.default.compileCommands" : " ${workspaceFolder:Phlex}/build/compile_commands.json" ,
5353 "C_Cpp.exclusionPolicy" : " checkFolders" ,
Original file line number Diff line number Diff line change 1717clone_if_absent () {
1818 local repo=$1
1919 local dest=" ${WORKSPACE_ROOT} /${repo} "
20- if [ -d " $dest " ]; then
20+ if [ -e " $dest /.git " ]; then
2121 echo " Repository already present: $dest "
2222 return
2323 fi
24+ echo " Existing directory at $dest is not a git repository; replacing it."
25+ rm -rf " $dest "
2426 echo " Cloning Framework-R-D/${repo} into ${dest} ..."
25- git clone --depth 1 " https://github.com/Framework-R-D/${repo} .git" " $dest "
27+ local max_tries=5 current_try=0
28+ while ! git clone --depth 1 " https://github.com/Framework-R-D/${repo} .git" " $dest " ; do
29+ (( ++ current_try ))
30+ echo " Attempt $current_try /$max_tries to clone $repo from GitHub FAILED"
31+ (( current_try < max_tries )) || break
32+ sleep 5
33+ done
34+ if (( current_try == max_tries )) ; then
35+ echo " WARNING: unable to check out $repo to $dest from GitHub" 1>&2
36+ fi
2637}
2738
2839clone_if_absent phlex-design
2940clone_if_absent phlex-examples
3041clone_if_absent phlex-coding-guidelines
3142clone_if_absent phlex-spack-recipes
43+
44+ echo " Repository already present: $dest "
45+ return
You can’t perform that action at this time.
0 commit comments