Thomas Mueller <mueller6722_at_twc.com> wrote: > Just because I found a workaround does not mean it is not a bug. Sorry I don't know what else to tell you. make is behaving as it should, based on the way it is configured. That setup was deemed the most useful by those working on src/, so is not likely to be changed. I guess we should add a note to the man page...Received on Sun May 28 2017 - 23:36:22 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:41:11 UTC