mirror of
https://github.com/gnustep/tools-make.git
synced 2025-04-22 22:00:49 +00:00
Tidy make_services
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/tools/make/trunk@4486 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
parent
c3b7f95b05
commit
a134c37dcb
2 changed files with 6 additions and 1 deletions
|
@ -80,6 +80,8 @@ endif
|
|||
|
||||
if ( -x ${GNUSTEP_SYSTEM_ROOT}/Tools/make_services ) then
|
||||
${GNUSTEP_SYSTEM_ROOT}/Tools/make_services &
|
||||
else
|
||||
echo "Warning - make_services not available"
|
||||
endif
|
||||
|
||||
endif # ( "${GNUSTEP_BUILD_ROOT}" == "" )
|
||||
|
|
|
@ -88,8 +88,11 @@ fi
|
|||
# Run 'make_services' in background if possible - updates cache of services
|
||||
# and applications/file-extensions known to the applications.
|
||||
#
|
||||
if [ -x $GNUSTEP_SYSTEM_ROOT/Tools/make_services ]; then
|
||||
if [ -x $GNUSTEP_SYSTEM_ROOT/Tools/make_services ]
|
||||
then
|
||||
$GNUSTEP_SYSTEM_ROOT/Tools/make_services &
|
||||
else
|
||||
echo "Warning - make_services not available"
|
||||
fi
|
||||
|
||||
fi # [ -z "$GNUSTEP_BUILD_ROOT" ]
|
||||
|
|
Loading…
Reference in a new issue