projects
/
nestedvm.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
add push target to makefile
[nestedvm.git]
/
Makefile
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
+
+push:
+ if [ "$${HOSTNAME#*.}" = "brianweb.net" ]; then \
+ darcs push charger.brianweb.net:/home/darcs/nestedvm; \
+ fi
+ darcs push /afs/ibex.org/project/nestedvm