tmp/thebride_1280.jpg:
@mkdir -p tmp
- cd tmp && curl -O http://www.kill-bill.com/images/wallpaper/thebride_1280.jpg
+ cd tmp && curl -O http://www.brianweb.net/misc/thebride_1280.jpg
oldspeedtest: build/tests/DJpeg.class tmp/thebride_1280.jpg
bash -c "time $(JAVA) -cp build tests.DJpeg -targa -outfile tmp/thebride_1280.tga tmp/thebride_1280.jpg"
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