mirror of
https://github.com/servo/servo.git
synced 2025-08-03 12:40:06 +01:00
Support autoconf's named autoconf-2.13
This commit is contained in:
parent
20f4d1f980
commit
be681d85b0
1 changed files with 5 additions and 0 deletions
|
@ -12,6 +12,11 @@ then
|
|||
AUTOCONF213=autoconf2.13
|
||||
fi
|
||||
|
||||
if [ ! -z `which autoconf-2.13` ]
|
||||
then
|
||||
AUTOCONF213=autoconf-2.13
|
||||
fi
|
||||
|
||||
if [ -z "$AUTOCONF213" ]
|
||||
then
|
||||
echo "I need autoconf 2.13"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue