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: Eli Zaretskii
Subject: [bug #41246] Allow to switch shell batch mode at runtime instead of build time
Date: Fri, 17 Jan 2014 14:04:09 +0000
User-agent: Mozilla/5.0 (Windows NT 5.1; rv:26.0) Gecko/20100101 Firefox/26.0 
Follow-up Comment #2, bug #41246 (project make):

The changes seem simple enough and non-controversial.  However, this
introduces a new special target, .BATCH_MODE_SHELL (why not
.BATCH_MODE_ONLY_SHELL, btw?), which should at least be documented in the
manual.

Paul, do you agree with adding a new target?


    _______________________________________________________

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]