mirror of
https://github.com/gnustep/tools-make.git
synced 2025-04-22 22:00:49 +00:00
Added configuration option to change GNUSTEP_USER_ROOT
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@11563 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
parent
46aa5d17d7
commit
7109e9c9cf
1 changed files with 9 additions and 0 deletions
|
@ -1,3 +1,12 @@
|
|||
Wed Nov 28 11:18:01 2001 Nicola Pero <nicola@brainstorm.co.uk>
|
||||
|
||||
* configure.in (--with-user-root): New configure option allowing
|
||||
to ask for a different GNUSTEP_USER_ROOT to be used.
|
||||
* configure: Regenerated.
|
||||
* GNUstep.sh.in (GNUSTEP_USER_ROOT): Define from configure if
|
||||
needed.
|
||||
* GNUstep.csh.in: Idem.
|
||||
|
||||
Wed Nov 28 11:08:07 2001 Nicola Pero <nicola@brainstorm.co.uk>
|
||||
|
||||
* brain.make (WO_LDFLAGS, WO_LIBS, WO_DEFINE): Removed.
|
||||
|
|
Loading…
Reference in a new issue