Hi, Yesterday, 14 hours, 10 minutes, 13 seconds ago, Paul Eggert wrote: > OK, but the referenced patch doesn't do that. It does something like > this instead. Why is this a problem with those other shells? Well, for each of those proprietary shells listed before, execution of the script will _really_ halt when "unset ENV" is interpreted, ie. "hello" will never show up on the screen. Likewise, running something like "unset ENV || echo failed" won't work. IOW, it's not just a matter of hiding the message that says "this variable is read-only". Thanks, Ludovic. _______________________________________________ Autoconf mailing list Autoconf@xxxxxxx http://lists.gnu.org/mailman/listinfo/autoconf
