bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Paul D. Smith
Subject: [bug #41246] Allow to switch shell batch mode at runtime instead of build time
Date: Fri, 17 Jan 2014 14:57:41 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/32.0.1700.77 Safari/537.36

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

Not being familiar with the various different options for shell behavior on
Windows, can someone describe for me what BATCH_MODE_ONLY_SHELL does?  Does is
overlap with ONESHELL?  If not is it a feature that might be useful to people
on non-Windows systems?  I could read the code but a short primer would be
nice :-)

    _______________________________________________________

Reply to this item at:

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

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]