Paul Eggert <
address@hidden> schrieb am Di., 1. März 2016 um 17:36 Uhr:
On 02/29/2016 01:52 PM, Philipp Stephani wrote:
> What's the status of this? Could one of the patches get merged into
> master? Thanks.
Thanks for reminding us. I looked into this. How about if I install the
attached pair of patches to start with? The first is yours, the second
attempts to make it a bit more build-friendly by making it a runtime
switch rather than a compile-time flag. Also, I negated the sense of the
switch, since making a build deterministic is the same as disabling some
minor features.
Thanks, both look good to me.