mirror of
https://github.com/gnustep/tools-make.git
synced 2025-04-23 22:33:28 +00:00
Optimize the case of GNUSTEP_MAKEFILES to speed up common makefile startup
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@24503 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
parent
349019239e
commit
afc735abe6
2 changed files with 15 additions and 2 deletions
|
@ -1,4 +1,9 @@
|
|||
2007-02-10 Matt Rice <ratmice@gmail.com>
|
||||
2007-02-11 Nicola Pero <nicola.pero@meta-innovation.com>
|
||||
|
||||
* gnustep-config.sh.in (GNUSTEP_MAKEFILES): If we are asked for
|
||||
GNUSTEP_MAKEFILES, print it out and exit.
|
||||
|
||||
2007-02-11 Matt Rice <ratmice@gmail.com>
|
||||
|
||||
* gnustep-config.sh.in: exit early for --help.
|
||||
|
||||
|
|
|
@ -103,7 +103,15 @@ if [ -z "$GNUSTEP_MAKEFILES" ]; then
|
|||
fi
|
||||
|
||||
#
|
||||
# Now read all the standard GNUstep config
|
||||
# If all they want to know if GNUSTEP_MAKEFILES, we can print it out
|
||||
#
|
||||
if [ "$1" == "GNUSTEP_MAKEFILES" ]; then
|
||||
echo "$GNUSTEP_MAKEFILES"
|
||||
exit 0
|
||||
fi
|
||||
|
||||
#
|
||||
# Else, now read all the standard GNUstep config
|
||||
#
|
||||
. $GNUSTEP_MAKEFILES/GNUstep.sh
|
||||
|
||||
|
|
Loading…
Reference in a new issue