@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"
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