Makefile targets for one-step installation with daemons running
authorAdam Chlipala <adamc@hcoop.net>
Thu, 17 May 2007 19:13:15 +0000 (19:13 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Thu, 17 May 2007 19:13:15 +0000 (19:13 +0000)
Makefile

index c4512ec..b812465 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -172,3 +172,8 @@ install_server:
        sudo /etc/init.d/domtool-server stop
        sudo make install
        sudo /etc/init.d/domtool-server start
        sudo /etc/init.d/domtool-server stop
        sudo make install
        sudo /etc/init.d/domtool-server start
+
+install_slave:
+       sudo /etc/init.d/domtool-slave stop
+       sudo make install
+       sudo /etc/init.d/domtool-slave start