Hi Ken, all, On Nov 20, 2015, at 4:48 AM, Kenneth Hoste <[email protected]> wrote: > That's just because --hide-deps does not apply to toolchains. I guess we > could extend it such that you can do that too. > > I'm not sure whether we should go with a --hide-toolchains here, or just > allow to list toolchains in --hide-deps. > > Any preference anyone?
Allowing to list toolchains provides for more control granularity, so it might prove more future-proof. Could we invent a special operand (or the empty case) to default in the other behaviour? As long as all configurations become reachable, the “how” is just a matter of taste against occam’s razor... F. -- echo "sysadmin know better bash than english" | sed s/min/mins/ \ | sed 's/better bash/bash better/' # signal detected in a CERN forum
