X-Git-Url: http://git.megacz.com/?p=nestedvm.git;a=blobdiff_plain;f=Makefile;h=0b0944a41444b6698e1dbac4391aaa6f933b7bc3;hp=122ba3941a6e36b7e6ca9dc3ff18f89a4eac5b4b;hb=b11e7c6c29f2b5f7b0828bf93eb741c4a30ec411;hpb=52c473093f1f2d2c40cef78e731a9306d7343304 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: