On Feb 23, 2015, at 10:18 AM, René J.V. Bertin <rjvbertin at gmail.com> wrote: > Ugh. Just make it optional (as in "can be turned off"), ok? ... I don't see us ever making trace mode mandatory, but we would eventually like to make it the default mode of operation. And if a port fails to build under trace mode, we consider that a bug in the port. vq