diff options
| author | Luke Dashjr <luke-jr+git@utopios.org> | 2018-08-21 06:55:24 +0000 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-08-22 15:29:22 +0200 |
| commit | 3e4829af097b12f4255e9b04fa27c408850a783f (patch) | |
| tree | 37547bdbee137813186ffe573a1ebf9a9d445a57 /depends/builders | |
| parent | 9833545d18c7e0884c4ab3a80b505be5b91c56af (diff) | |
Bugfix: NSIS: Exclude Makefile* from docsv0.17.0rc2
Otherwise, the generated Makefile is included in the NSIS-installed documentation, which can lead to non-determinism (eg, if gawk is installed on some build VMs, but others only have mawk)
Github-Pull: #14018
Rebased-From: 8563341714a1ec452dd3304a39dd880face49c84
Tree-SHA512: 2d219a4a2027bcd7359b7320bafc6b7cd3bde3dcf9309ddd6198ff67407470025baa71e6d0ed3d6cec081834ddc9a0247043865eb26737e6fd0d2f09574f5932
Diffstat (limited to 'depends/builders')
0 files changed, 0 insertions, 0 deletions