From 65b8c8020c9ede094f08d33157cfb8abdaa546f1 Mon Sep 17 00:00:00 2001
From: Brian Alliet <brian@brianweb.net>
Date: Fri, 15 Dec 2006 20:23:35 -0800
Subject: [PATCH] add push target to makefile

darcs-hash:20061216042335-931ed-977d7e1b1c156daaf434051dfb6771674dcd52c1.gz
---
 Makefile |    6 ++++++
 1 file changed, 6 insertions(+)

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
-- 
1.7.10.4