File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change 11.PHONY : build push test
22
3- TAG: =4
3+ TAG: =5
44
55build :
66 docker build -t testbed/vim:$(TAG ) .
Original file line number Diff line number Diff line change 130130 # The git package adds about 200MB+ to the image. So, no cloning.
131131 url=" https://github.com/$repo /archive/${tag} .tar.gz"
132132 echo " Downloading $repo :$tag from $url "
133- curl -SL " $url " | tar zx --strip-components=1
133+ curl --retry 3 - SL " $url " | tar zx --strip-components=1
134134 else
135135 cd " $BUILD_DIR "
136136 fi
@@ -204,7 +204,7 @@ build() {
204204 if grep -qF ' #define NVIM_VERSION_PRERELEASE "-dev"' $versiondef_file \
205205 && grep -qF ' /* #undef NVIM_VERSION_MEDIUM */' $versiondef_file ; then
206206
207- head_info=$( curl -SL " https://api.github.com/repos/$repo /git/refs/heads/$tag " )
207+ head_info=$( curl --retry 3 - SL " https://api.github.com/repos/$repo /git/refs/heads/$tag " )
208208 if [ -n " $head_info " ]; then
209209 head_sha=$( echo " $head_info " | grep ' "sha":' | cut -f4 -d\" | cut -b -7)
210210 if [ -n " $head_sha " ]; then
You can’t perform that action at this time.
0 commit comments