mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-22 09:45:41 +00:00
1df63a7dcd
Source-Repo: https://github.com/servo/servo Source-Revision: 7983f13beeb0ddf6ea195e70633373d9d0dd19c8
23 lines
345 B
Bash
Executable File
23 lines
345 B
Bash
Executable File
#!/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 "$AUTOCONF213" ]
|
|
then
|
|
echo "I need autoconf 2.13"
|
|
fi
|
|
|
|
(cd src/mozjs/js/src && $AUTOCONF213) || exit $?
|
|
|
|
cp -f configure.in configure
|