3
download_dir="${wd}/.cache/gits"
9
dir=${download_dir}/${name}
10
if ! git -C ${dir} reset ${rev} --hard; then
12
git -C ${dir} reset ${rev} --hard || return $?
17
${wd}/ensure_gits.sh legacy_0.2.8.3 || return $?
21
fix_git winlibs d03e20bf8973a6cbd1e0ecb47dd8333c5614b139 || return $?
22
fix_git codeblocks 4a51998b7f12723c40cca3e2558da3ab8af85814 || return $?
23
fix_git ubuntu aa14f9e1987239b890faa49ea03a32a2dbaa8af7 || return $?
27
# clean and retry on error
28
rm -rf ${download_dir}