diff options
Diffstat (limited to 'tools/gator/debian/gator-daemon.upstart')
| -rw-r--r-- | tools/gator/debian/gator-daemon.upstart | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/tools/gator/debian/gator-daemon.upstart b/tools/gator/debian/gator-daemon.upstart deleted file mode 100644 index 1564efc5339..00000000000 --- a/tools/gator/debian/gator-daemon.upstart +++ /dev/null @@ -1,10 +0,0 @@ -description "Load gator driver module and launch gator daemon" -author "Pawel Moll <pawel.moll@arm.com>" - -start on filesystem - -exec /usr/sbin/gatord -c /var/lib/gatord/configuration.xml - -pre-start script - modprobe -q gator || true -end script |