Makefile: Use wget --no-use-server-timestamps.

If the -dist target were created after a file was uploaded to the
server, it wouldn't be rebuilt after downloading, because the
timestamp on the downloaded file would be newer than the -dist
file. Using a local timestamp to download prevents this.
This commit is contained in:
Esme Povirk 2024-02-14 19:37:57 +00:00 committed by Arkadiusz Hiler
parent 235a203f8a
commit 271ad809be

View file

@ -933,11 +933,11 @@ DIST_GECKO64 := $(OBJ)/.gecko-dist64
$(SRC)/contrib/$(GECKO64_TARBALL):
mkdir -p $(dir $@)
wget -O $@ $(GECKO64_TARBALL_URL)
wget --no-use-server-timestamps -O $@ $(GECKO64_TARBALL_URL)
$(SRC)/contrib/$(GECKO32_TARBALL):
mkdir -p $(dir $@)
wget -O $@ $(GECKO32_TARBALL_URL)
wget --no-use-server-timestamps -O $@ $(GECKO32_TARBALL_URL)
$(DIST_GECKO32): $(SRC)/contrib/$(GECKO32_TARBALL)
mkdir -p $(DIST_GECKO_DIR)
@ -966,7 +966,7 @@ MONO_TARBALL_URL := https://github.com/madewokherd/wine-mono/releases/download/w
$(SRC)/contrib/$(WINEMONO_TARBALL):
mkdir -p $(dir $@)
wget -O $@ $(MONO_TARBALL_URL)
wget --no-use-server-timestamps -O $@ $(MONO_TARBALL_URL)
$(DIST_WINEMONO): $(SRC)/contrib/$(WINEMONO_TARBALL)
mkdir -p $(DIST_WINEMONO_DIR)