X-Git-Url: http://git.megacz.com/?p=nestedvm.git;a=blobdiff_plain;f=Makefile;h=65a3c18d7cd730debf43b7d391b8c25bf775a3e5;hp=f37b90df0fe2346a85e0f35d94b40dd405c63028;hb=fd26bd416bb1bd61631829dbe4c75328b36fe7de;hpb=fcf3d45c488118a7eb33839c5f90309579454009

diff --git a/Makefile b/Makefile
index f37b90d..65a3c18 100644
--- a/Makefile
+++ b/Makefile
@@ -191,6 +191,7 @@ env.sh: Makefile $(tasks)/build_gcc $(tasks)/build_libc build/org/ibex/nestedvm/
 	@echo 'CXXFLAGS="$(mips_optflags)"; export CXXFLAGS' >> $@~
 	@echo 'LDFLAGS="$(MIPS_LDFLAGS)"; export LDFLAGS' >> $@~
 	@echo 'CLASSPATH=$(mips2java_root)/build:$(mips2java_root)/upstream/build/classgen/build:.; export CLASSPATH' >> $@~
+	@chmod a+x "$@~"
 	@mv "$@~" "$@"
 	@echo "$@ created successfully"
 
@@ -516,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