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: Mike Hommey
Subject: [bug #41246] Allow to switch shell batch mode at runtime instead of build time
Date: Thu, 16 Jan 2014 05:59:34 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:28.0) Gecko/20100101 Firefox/28.0 
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/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]