diff options
Diffstat (limited to 'lang/gnustep-base/files/GNUstep.sh')
-rw-r--r-- | lang/gnustep-base/files/GNUstep.sh | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/lang/gnustep-base/files/GNUstep.sh b/lang/gnustep-base/files/GNUstep.sh deleted file mode 100644 index 6c9eaccb8736..000000000000 --- a/lang/gnustep-base/files/GNUstep.sh +++ /dev/null @@ -1,29 +0,0 @@ -#!/bin/sh - -PREFIX=%%PREFIX%% -IFFILE=${PREFIX}/etc/gdomap_if -PIDFILE="/var/run/gdomap.pid" -GNUSTEP_SYSTEM_ROOT="${PREFIX}/GNUstep/System" - -case "$1" in -start) - if [ -e ${GNUSTEP_SYSTEM_ROOT}/Library/Makefiles/GNUstep.sh ]; then - . ${GNUSTEP_SYSTEM_ROOT}/Library/Makefiles/GNUstep.sh - rm -f ${PIDFILE} - opentool gdomap -a ${IFFILE} -I ${PIDFILE} - opentool gdnc - echo -n ' GNUstep' - fi - ;; -stop) - [ -r ${PIDFILE} ] && kill $(cat ${PIDFILE}) && echo -n ' GNUstep' - killall gdnc - rm -f ${PIDFILE} - ;; -*) - echo "Usage: ${0##*/} { start | stop }" >&2 - exit 64 - ;; -esac - -exit 0 |