diff options
-rw-r--r-- | midipix.env | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/midipix.env b/midipix.env index 69758109..39bb7d37 100644 --- a/midipix.env +++ b/midipix.env @@ -117,7 +117,7 @@ DEFAULT_BUILD_VARS=" : ${DEFAULT_MAKEFLAGS_VERBOSITY:="V=99 VERBOSE=1"}; : ${DEFAULT_GIT_ARGS:=""}; : ${DEFAULT_TIMESTAMP_FMT:="%Y/%m/%d %H:%M:%S"}; -: ${DEFAULT_WGET_ARGS:="--no-check-certificate --timeout=30"}; +: ${DEFAULT_WGET_ARGS:="--no-check-certificate --timeout=25 --waitretry=16"}; : ${DEFAULT_ZIPDIST_DEFROOT:="/dev/fs/c/midipix"}; # Target-relative defaults |