Make it easy to kill fcgi processes.

[invirt/packages/invirt-web.git] / code / Makefile

diff --git a/code/Makefile b/code/Makefile
index 582293f..8ff936c 100644 (file)
--- a/code/Makefile
+++ b/code/Makefile
@@ -1,6 +1,11 @@
 DIRS = templates
 
-all:
+all: kill compile
+
+kill:
+       wget http://xvm.mit.edu/kill.cgi -O /dev/null -nv
+
+compile:
        for dir in $(DIRS); do \
                (cd $$dir; $(MAKE) all); \
        done