[sr #110300] configure >/dev/full does not fail promptly

[Zack Weinberg]

Update of sr#110300 (group autoconf):

                Priority:             1 - Blocked => 2 - Eventually         

    _______________________________________________________

Follow-up Comment #2:

Using `set -e` in configure is abstractly desirable but will be an enormous
amount of work. Not going to happen until someone signs up to do that work.


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/support/?110300>

_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/