b70b6fb43a
"failstar" sounds like a name for a cruise liner from the 80s. As "*" isn't a desirable part of directory names, just name the whole thing "fail/", the core parts being stored in "fail/core/". Additionally fixing two build system dependency issues: - missing jobserver -> protomessages dependency - broken bochs -> fail dependency (add_custom_target DEPENDS only allows plain file dependencies ... cmake for the win) git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@956 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
71 lines
1.8 KiB
Bash
71 lines
1.8 KiB
Bash
#! /bin/sh
|
|
#
|
|
# skeleton example file to build /etc/init.d/ scripts.
|
|
# This file should be used to construct scripts for /etc/init.d.
|
|
#
|
|
# Written by Miquel van Smoorenburg <miquels@cistron.nl>.
|
|
# Modified for Debian GNU/Linux
|
|
# by Ian Murdock <imurdock@gnu.ai.mit.edu>.
|
|
#
|
|
# Version: @(#)skeleton 1.8 03-Mar-1998 miquels@cistron.nl
|
|
#
|
|
# This file was automatically customized by dh-make on Tue, 5 Jun 2001 21:08:30 -0700
|
|
|
|
PATH=/sbin:/bin:/usr/sbin:/usr/bin
|
|
DAEMON=/usr/sbin/bochs
|
|
NAME=bochs
|
|
DESC=bochs
|
|
|
|
test -f $DAEMON || exit 0
|
|
|
|
set -e
|
|
|
|
case "$1" in
|
|
start)
|
|
echo -n "Starting $DESC: "
|
|
start-stop-daemon --start --quiet --pidfile /var/run/$NAME.pid \
|
|
--exec $DAEMON
|
|
echo "$NAME."
|
|
;;
|
|
stop)
|
|
echo -n "Stopping $DESC: "
|
|
start-stop-daemon --stop --quiet --pidfile /var/run/$NAME.pid \
|
|
--exec $DAEMON
|
|
echo "$NAME."
|
|
;;
|
|
#reload)
|
|
#
|
|
# If the daemon can reload its config files on the fly
|
|
# for example by sending it SIGHUP, do it here.
|
|
#
|
|
# If the daemon responds to changes in its config file
|
|
# directly anyway, make this a do-nothing entry.
|
|
#
|
|
# echo "Reloading $DESC configuration files."
|
|
# start-stop-daemon --stop --signal 1 --quiet --pidfile \
|
|
# /var/run/$NAME.pid --exec $DAEMON
|
|
#;;
|
|
restart|force-reload)
|
|
#
|
|
# If the "reload" option is implemented, move the "force-reload"
|
|
# option to the "reload" entry above. If not, "force-reload" is
|
|
# just the same as "restart".
|
|
#
|
|
echo -n "Restarting $DESC: "
|
|
start-stop-daemon --stop --quiet --pidfile \
|
|
/var/run/$NAME.pid --exec $DAEMON
|
|
sleep 1
|
|
start-stop-daemon --start --quiet --pidfile \
|
|
/var/run/$NAME.pid --exec $DAEMON
|
|
echo "$NAME."
|
|
;;
|
|
*)
|
|
N=/etc/init.d/$NAME
|
|
# echo "Usage: $N {start|stop|restart|reload|force-reload}" >&2
|
|
echo "Usage: $N {start|stop|restart|force-reload}" >&2
|
|
exit 1
|
|
;;
|
|
esac
|
|
|
|
exit 0
|