diff options
author | Michael Stahl <mstahl@redhat.com> | 2016-01-08 15:08:32 +0100 |
---|---|---|
committer | Miklos Vajna <vmiklos@collabora.co.uk> | 2016-01-11 10:31:06 +0000 |
commit | dd7e6210fa73e201495578c08f5ccbb612eb6456 (patch) | |
tree | 6f940e7602a8f6c31bfcd6b98c68fe42f2aff797 /Makefile.fetch | |
parent | 1fb882cb1e2eedbef688cf2b3a2ca9322486c9cb (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
(cherry picked from commit 2f79c760b48965a04c260745fb9a23a6e1086faa)
Reviewed-on: https://gerrit.libreoffice.org/21252
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Miklos Vajna <vmiklos@collabora.co.uk>
Diffstat (limited to 'Makefile.fetch')
-rw-r--r-- | Makefile.fetch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.fetch b/Makefile.fetch index 1e5c98409ac8..7648df67817e 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 ]' endef else |