mirror of
https://github.com/servo/servo.git
synced 2025-08-07 06:25:32 +01:00
Require autoconf 2.13
This commit is contained in:
parent
8244b89be7
commit
d3f2613308
1 changed files with 13 additions and 1 deletions
14
autogen.sh
14
autogen.sh
|
@ -1,5 +1,17 @@
|
||||||
#!/bin/bash
|
#!/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
|
cp -f configure.in configure
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue