gnustep/tools-make
0
0
Fork 0
mirror of https://github.com/gnustep/tools-make.git synced 2025-04-22 13:50:47 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Hopefully fixed opentool for the last time

Browse source 
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@11355 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
Nicola Pero 2001-11-09 13:40:50 +00:00
parent f62a9e50d4
commit 9524c1dab7
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
ChangeLog
View file

@ -1,3 +1,11 @@
Fri Nov 9 13:34:50 2001 Nicola Pero <nicola@brainstorm.co.uk>
* opentool.in: Fixed (again!) the fact that if there is both a
local and an installed tool, the local one should be used, not the
installed one. Rewritten checks for local tools - we now search
in ./, then in ./obj, then in ./Tools/, then in ./Tools/obj, then
look for an installed tool.
2001-11-08 Adam Fedor <fedor@gnu.org>
* configure.in (TAR): Undo last patch, add configure option