[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[bug #38502] gnustep-config: call make with --no-print-directory
From:
Jeroen Dekkers
Subject:
[bug #38502] gnustep-config: call make with --no-print-directory
Date:
2013年3月11日 17:07:04 +0000
User-agent:
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.17 (KHTML, like Gecko) Ubuntu Chromium/24.0.1312.56 Chrome/24.0.1312.56 Safari/537.17
URL:
<http://savannah.gnu.org/bugs/?38502>
Summary: gnustep-config: call make with --no-print-directory
Project: GNUstep
Submitted by: jeroen
Submitted on: Mon 11 Mar 2013 06:07:02 PM CET
Category: Makefiles
Severity: 3 - Normal
Item Group: Bug
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
The attachd patch adds --no-print-directory to invocations of make in
gnustep-config. I ran into the problem that gnustep-config was called from a
submake and make invokes submakes with "-w" and MAKEFLAGS is set to "w". In
that case gnustep-config will also print the entering/leaving directory
messages:
runge:~% export MAKEFLAGS=w
runge:~% gnustep-config --base-libs
make: Entering directory `/home/jeroen'
-rdynamic -pthread -shared-libgcc -fexceptions -fgnu-runtime
-L/home/jeroen/GNUstep/Library/Libraries -L/usr/local/lib -L/usr/lib
-lgnustep-base -lobjc -lm
make: Leaving directory `/home/jeroen'
runge:~%
When we call make with --no-print-directory this doesn't happen.
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: Mon 11 Mar 2013 06:07:02 PM CET Name: gnustep-config.patch Size: 2kB
By: jeroen
<http://savannah.gnu.org/bugs/download.php?file_id=27597>
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?38502>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
[Prev in Thread]
Current Thread
[Next in Thread]
- [bug #38502] gnustep-config: call make with --no-print-directory,
Jeroen Dekkers <=