[bug #41246] Allow to switch shell batch mode at runtime instead of build time

[Paul D. Smith]

Update of bug #41246 (project make):

              Item Group:                    None => Enhancement            


    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?41246>

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