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

[Mike Hommey]

Follow-up Comment #1, bug #41246 (project make):

I happen to have not been logged in when I submitted, but this bug and patch
are mine :)

    _______________________________________________________

Reply to this item at:

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

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/


_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make