Don't die if we can't check that svg2-tools is up-to-date.
--- a/Makefile Fri Apr 11 06:42:21 2014 +1000
+++ b/Makefile Fri Apr 11 20:20:11 2014 +1000
@@ -1,4 +1,4 @@
-# Makefile for SVG 1.1 Second Edition.
+# Makefile for SVG 2.
all-with-tools-check : tools-check all
@@ -6,7 +6,7 @@
@for spec in specs/*; do [ -f $$spec/Makefile ] && make -C $$spec/ all; done
tools-check :
- @bash -c "REMOTE_REV=$$(hg id -i http://svgwg.org/hg/svg2-tools); [ \$$? = 0 -o \"\$$REMOTE_REV\" != \"\" ] || exit 0; LOCAL_REV=$$(hg id -i ../svg2-tools); [ \"\$$LOCAL_REV\" = \"\$$REMOTE_REV\" -o \"\$$LOCAL_REV\" = \"\$$REMOTE_REV\"+ ] || (echo \"You must update your svg2-tools repository! (Remote repository has revision \$$REMOTE_REV, but you are at \$$LOCAL_REV.)\"; exit 1)"
+ @bash -c "REMOTE_REV=$$(hg id -i http://svgwg.org/hg/svg2-tools 2>/dev/null); [ \$$? = 0 -a \"\$$REMOTE_REV\" != \"\" ] || exit 0; LOCAL_REV=$$(hg id -i ../svg2-tools); [ \"\$$LOCAL_REV\" = \"\$$REMOTE_REV\" -o \"\$$LOCAL_REV\" = \"\$$REMOTE_REV\"+ ] || (echo \"You must update your svg2-tools repository! (Remote repository has revision \$$REMOTE_REV, but you are at \$$LOCAL_REV.)\"; exit 1)"
all :
@../svg2-tools/build.py