add push target to makefile

darcs-hash:20061216042335-931ed-977d7e1b1c156daaf434051dfb6771674dcd52c1.gz

diff --git a/Makefile b/Makefile
index f0212b1..65a3c18 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -517,3 +517,9 @@ doc/ivme04.pdf: doc/ivme04.tex doc/acmconf.cls $(charts:%.dat=%.pdf) build/tests
 
 pdf: doc/ivme04.pdf
        open doc/ivme04.pdf
 
 pdf: doc/ivme04.pdf
        open doc/ivme04.pdf

+
+push:
+       if [ "$${HOSTNAME#*.}" = "brianweb.net" ]; then \
+               darcs push charger.brianweb.net:/home/darcs/nestedvm; \
+       fi
+       darcs push /afs/ibex.org/project/nestedvm