X-Git-Url: http://git.megacz.com/?p=nestedvm.git;a=blobdiff_plain;f=Makefile;fp=Makefile;h=0b0944a41444b6698e1dbac4391aaa6f933b7bc3;hp=122ba3941a6e36b7e6ca9dc3ff18f89a4eac5b4b;hb=d5566fee6b4ea8e85ddea33ce20587e7c523bc25;hpb=6598036848013a0dcd0a0511ebfd37880c1f22c3 diff --git a/Makefile b/Makefile index 122ba39..0b0944a 100644 --- a/Makefile +++ b/Makefile @@ -518,9 +518,6 @@ pdf: doc/ivme04.pdf open doc/ivme04.pdf push: - if [ "$${HOSTNAME#*.}" = "brianweb.net" ]; then \ - darcs push charger.brianweb.net:/home/darcs/nestedvm; \ - fi git push /afs/megacz.com/web/org/ibex/nestedvm/ master snapshot: