Nick Bowler wrote:
There appears to be no documented way to turn it off after you turn it on. This is probably an oversight
I vaguely recall that it was not an oversight, and that we ran into trouble in thinking about how such a feature would work. Sorry, don't remember the details.
_______________________________________________ Autoconf mailing list Autoconf@gnu.org https://lists.gnu.org/mailman/listinfo/autoconf
