mirror of
https://github.com/gnustep/tools-make.git
synced 2025-04-22 22:00:49 +00:00
Run make_services only if available
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@4485 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
parent
b679c021c0
commit
c3b7f95b05
2 changed files with 7 additions and 3 deletions
|
@ -78,6 +78,8 @@ if ( -e ~/.GNUstep/GNUstep.csh ) then
|
|||
. ~/.GNUstep/GNUstep.csh
|
||||
endif
|
||||
|
||||
${GNUSTEP_SYSTEM_ROOT}/Tools/make_services &
|
||||
if ( -x ${GNUSTEP_SYSTEM_ROOT}/Tools/make_services ) then
|
||||
${GNUSTEP_SYSTEM_ROOT}/Tools/make_services &
|
||||
endif
|
||||
|
||||
endif # ( "${GNUSTEP_BUILD_ROOT}" == "" )
|
||||
|
|
|
@ -81,13 +81,15 @@ PATH=$temp_path$PATH
|
|||
#
|
||||
if [ -f ~/.GNUstep/GNUstep.sh ]
|
||||
then
|
||||
. ~/.GNUstep/GNUstep.sh
|
||||
. ~/.GNUstep/GNUstep.sh
|
||||
fi
|
||||
|
||||
#
|
||||
# Run 'make_services' in background if possible - updates cache of services
|
||||
# and applications/file-extensions known to the applications.
|
||||
#
|
||||
$GNUSTEP_SYSTEM_ROOT/Tools/make_services &
|
||||
if [ -x $GNUSTEP_SYSTEM_ROOT/Tools/make_services ]; then
|
||||
$GNUSTEP_SYSTEM_ROOT/Tools/make_services &
|
||||
fi
|
||||
|
||||
fi # [ -z "$GNUSTEP_BUILD_ROOT" ]
|
||||
|
|
Loading…
Reference in a new issue