diff --git a/tool/depot/mk/downloader b/tool/depot/mk/downloader index 19bcbdd924..5051c5e903 100755 --- a/tool/depot/mk/downloader +++ b/tool/depot/mk/downloader @@ -110,7 +110,7 @@ file_url = '${URL($(call archive_user,$1))}/$1' $(PUBLIC_DIR)/%: @$(ECHO) "$(DARK_COL)download$(DEFAULT_COL) $*" $(VERBOSE)mkdir -p $(dir $@) - $(VERBOSE)wget --quiet --no-check-certificate $(call file_url,$*) -O $@ ||\ + $(VERBOSE)curl --silent $(call file_url,$*) -o $@ ||\ (echo "Error: failed to download $(call file_url,$*)"; rm -f $@; false) $(MAKECMDGOALS): $(TARGETS)