mirror of
https://github.com/gnustep/tools-make.git
synced 2025-04-23 14:20:50 +00:00
bug fix
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@3754 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
parent
82407f84ee
commit
28bfef8f63
1 changed files with 10 additions and 2 deletions
12
opentool.in
12
opentool.in
|
@ -126,8 +126,16 @@ case $tool in
|
|||
full_toolname=`(cd $tool; pwd)`;;
|
||||
*) # A path that should be searched into GNUstep tool paths
|
||||
GNUSTEP_HOST_DIR=$GNUSTEP_HOST_CPU/$GNUSTEP_HOST_OS
|
||||
SPATH=./$GNUSTEP_HOST_DIR
|
||||
SPATH=./$GNUSTEP_HOST_DIR/$LIBRARY_COMBO
|
||||
|
||||
# search for a local one
|
||||
for file in */$GNUSTEP_HOST_DIR/$LIBRARY_COMBO/$tool; do
|
||||
if [ -x $file ]; then
|
||||
full_toolname=$file;
|
||||
break;
|
||||
fi
|
||||
done
|
||||
|
||||
# search in the user/local/system
|
||||
SPATH=$SPATH:$GNUSTEP_USER_ROOT/Tools/$GNUSTEP_HOST_DIR
|
||||
SPATH=$SPATH:$GNUSTEP_USER_ROOT/Tools/$GNUSTEP_HOST_DIR/$LIBRARY_COMBO
|
||||
SPATH=$SPATH:$GNUSTEP_LOCAL_ROOT/Tools/$GNUSTEP_HOST_DIR
|
||||
|
|
Loading…
Reference in a new issue