From: Brian Alliet <brian@brianweb.net>
Date: Sat, 16 Dec 2006 04:23:35 +0000 (-0800)
Subject: add push target to makefile
X-Git-Url: http://git.megacz.com/?p=nestedvm.git;a=commitdiff_plain;h=65b8c8020c9ede094f08d33157cfb8abdaa546f1;ds=sidebyside

add push target to makefile

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

diff --git a/Makefile b/Makefile
index f0212b1..65a3c18 100644
--- 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
+
+push:
+	if [ "$${HOSTNAME#*.}" = "brianweb.net" ]; then \
+		darcs push charger.brianweb.net:/home/darcs/nestedvm; \
+	fi
+	darcs push /afs/ibex.org/project/nestedvm