servo/autogen.sh
author Brian Anderson <banderson@mozilla.com>
Mon, 21 May 2012 14:02:17 -0700
changeset 361587 a68e55f6b4239167ea61e7c125f0e437ad86b309
parent 361573 6baabb4dbecaa54a9fc004d28f574fa79419711b
permissions -rwxr-xr-x
servo: Support autoconf's named autoconf-2.13 Source-Repo: https://github.com/servo/servo Source-Revision: be681d85b0c04a40ffba26e2e2b38ad93cea41cf

#!/bin/bash

# Spidermonkey requires autoconf 2.13 exactly

if [ ! -z `which autoconf213` ]
then
    AUTOCONF213=autoconf213
fi

if [ ! -z `which autoconf2.13` ]
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"
fi

(cd src/mozjs/js/src && $AUTOCONF213) || exit $?

cp -f configure.in configure