diff options
| author | Michael Stahl <mstahl@redhat.com> | 2017-07-27 13:18:11 +0200 |
|---|---|---|
| committer | Michael Stahl <mstahl@redhat.com> | 2017-07-27 14:42:24 +0200 |
| commit | 1176ae51154c2298b44427270754d2ee1562a115 (patch) | |
| tree | 8acffc51fb2c1fa9019424adcd913ac6fdb0b5c1 /chart2 | |
| parent | 81047eaebc0e25ff926bf944c57e082a8727c7f2 (diff) | |
Makefile: fix fetching for the build platform
The invocation of make fetch added in commit
fe3fb5ecd3b66e32cc5aa64a2afffa572353740e didn't do anything because
the force-restart didn't actually restart make because it touched
"Makefile" but the make read "$(BUILDDIR)/Makefile", and make isn't
smart enough to notice those are the same.
Change-Id: I85cbcba3bf9c3c7b89d4ee33f772820d19542f4a
Reviewed-on: https://gerrit.libreoffice.org/40482
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Michael Stahl <mstahl@redhat.com>
Diffstat (limited to 'chart2')
0 files changed, 0 insertions, 0 deletions