path: root/Makefile.fetch
diff options
authorMichael Stahl <>2016-01-08 15:08:32 +0100
committerMichael Stahl <>2016-01-08 15:12:07 +0100
commit2f79c760b48965a04c260745fb9a23a6e1086faa (patch)
tree525d33c0c55b36e4c5136d9c0049806092755765 /Makefile.fetch
parent5621762a36483f7bc555dd0e6a294eb68100490a (diff)
Makefile.fetch: don't use server side time stamps
The wget download apparently uses the time stamp of the file on the server by default, which breaks incremental builds. If wget downloads the file and it does not get the current timestamp at the time of download but the one the file happens to have on the server, then if you built from the previous version of the tarball at a later time than the timestamp of the new tarball, make won't detect that it has to unpack the new tarball. The curl download should not be affected since curl requires an explicit -R to use the server side time stamp. Change-Id: I6bab51d20b8ab5e485fe68d3f27c31aaddc99f68
Diffstat (limited to 'Makefile.fetch')
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.fetch b/Makefile.fetch
index 4816ed63fc80..8d63d258c40f 100644
--- a/Makefile.fetch
+++ b/Makefile.fetch
@@ -11,7 +11,7 @@ fetch_LOGFILE := $(TARFILE_LOCATION)/fetch.log
ifneq (,$(WGET))
define fetch_Download__wget_command
-&& bash -c '$(WGET) --progress=dot:mega -4 -Q 0 -P "." -l 0 -nd -nH -N $1/$2 2>&1 | tee -a $(fetch_LOGFILE) && [ $$PIPESTATUS -eq 0 ]'
+&& bash -c '$(WGET) --progress=dot:mega -4 -Q 0 -P "." -l 0 -nd -nH -N --no-use-server-timestamps $1/$2 2>&1 | tee -a $(fetch_LOGFILE) && [ $$PIPESTATUS -eq 0 ]'