servo: Require autoconf 2.13
authorBrian Anderson <banderson@mozilla.com>
Thu, 10 May 2012 16:03:27 -0700
changeset 361569 4db123a956a16f5ce4a70e9cad2b28a74d28554e
parent 361568 c2371a42bb8877e34c95974c8808ce9060b201ab
child 361570 b97fe20bb4b91c98ff855e6f5026eafb184c7d61
push id10863
push userjlorenzo@mozilla.com
push dateMon, 06 Mar 2017 23:02:23 +0000
treeherdermozilla-aurora@0931190cd725 [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
servo: Require autoconf 2.13 Source-Repo: https://github.com/servo/servo Source-Revision: d3f26133088a65370eaf78472f3af1ddc2f72531
servo/autogen.sh
--- a/servo/autogen.sh
+++ b/servo/autogen.sh
@@ -1,5 +1,17 @@
 #!/bin/bash
 
-(cd src/mozjs/js/src && autoconf)
+# Spidermonkey requires autoconf 2.13 exactly
+
+if [ ! -z `which autoconf213` ]
+then
+    AUTOCONF=autoconf213
+fi
+
+if [ ! -z `which autoconf2.13` ]
+then
+    AUTOCONF=autoconf2.13
+fi
+
+(cd src/mozjs/js/src && $AUTOCONF)
 
 cp -f configure.in configure