Don't die if we can't check that svg2-tools is up-to-date.
authorCameron McCormack <cam@mcc.id.au>
Fri, 11 Apr 2014 20:20:11 +1000
changeset 664 6166e5cb5b57
parent 663 71b3b40f103a
child 665 d642b1a44c25
Don't die if we can't check that svg2-tools is up-to-date.
Makefile
--- 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