diff options
| author | Jérôme Pouiller <jezz@sysmic.org> | 2013-09-03 10:45:41 +0200 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2013-09-06 23:27:42 +0200 |
| commit | 741cbccb746b4bda41c5a51bf2d9d8977c902439 (patch) | |
| tree | 2f9e90e7480238652314c4be181aaf271eb1b95a /docs/manual/manual.mk | |
| parent | 055f1c02d35068d0b089f3b29ffdd4fb2717bb5c (diff) | |
Fix build reproducibility in Make 3.82
Make 3.82 no longer sort the result of wildcards (see
http://comments.gmane.org/gmane.comp.gnu.make.bugs/4260). This may break
build reproducibility.
This patch sort results of wildcards to ensure reproducibility.
Signed-off-by: Jérôme Pouiller <jezz@sysmic.org>
Acked-by: Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'docs/manual/manual.mk')
| -rw-r--r-- | docs/manual/manual.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/manual/manual.mk b/docs/manual/manual.mk index 4906bc871..bcbedad57 100644 --- a/docs/manual/manual.mk +++ b/docs/manual/manual.mk @@ -53,5 +53,5 @@ $(1)-clean: .PHONY: $(1) $(1)-clean manual-update-lists endef -MANUAL_SOURCES = $(wildcard docs/manual/*.txt) $(wildcard docs/images/*) +MANUAL_SOURCES = $(sort $(wildcard docs/manual/*.txt) $(wildcard docs/images/*)) $(eval $(call GENDOC,manual)) |