[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: |
Mike Hommey |
Subject: |
[bug #41246] Allow to switch shell batch mode at runtime instead of build time |
Date: |
Fri, 17 Jan 2014 22:43:18 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:28.0) Gecko/20100101 Firefox/28.0 |
Follow-up Comment #4, bug #41246 (project make):
> why not .BATCH_MODE_ONLY_SHELL, btw?
Apart from making it the same as the macro, the "only" feels too much for a
target name. I don't care that much for the name, though, your pick.
> which should at least be documented in the manual.
Would you mind doing this for me?
> can someone describe for me what BATCH_MODE_ONLY_SHELL does? Does is overlap
with ONESHELL?
In essence, this is like ONESHELL, except it writes the script to a file to
then run "sh thatfile" instead of doing sh -c "line1nline2nline3". This is
useful because msys bash on windows doesn't handle double quotes properly when
run with sh -c. I don't think non-Windows systems would need this as a
feature.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?41246>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, anonymous, 2014/01/16
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Mike Hommey, 2014/01/16
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Eli Zaretskii, 2014/01/17
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Paul D. Smith, 2014/01/17
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time,
Mike Hommey <=
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Paul D. Smith, 2014/01/18
- Re: [bug #41246] Allow to switch shell batch mode at runtime instead of build time, David Boyce, 2014/01/18
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Mike Hommey, 2014/01/18
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Mike Hommey, 2014/01/18
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Paul D. Smith, 2014/01/18
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Paul D. Smith, 2014/01/18
- [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Mike Hommey, 2014/01/31
- Re: [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Eli Zaretskii, 2014/01/31
- Re: [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Mike Hommey, 2014/01/31
- Re: [bug #41246] Allow to switch shell batch mode at runtime instead of build time, Eli Zaretskii, 2014/01/31