diff options
Diffstat (limited to 'js/src/configure')
-rwxr-xr-x | js/src/configure | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/js/src/configure b/js/src/configure new file mode 100755 index 0000000000..e2c672e40d --- /dev/null +++ b/js/src/configure @@ -0,0 +1,13 @@ +#!/bin/sh +# This Source Code Form is subject to the terms of the Mozilla Public +# License, v. 2.0. If a copy of the MPL was not distributed with this +# file, You can obtain one at http://mozilla.org/MPL/2.0/. + +SRCDIR=$(dirname $0) +TOPSRCDIR="$SRCDIR"/../.. +PYTHON3="${PYTHON3:-python3}" +export OLD_CONFIGURE="$SRCDIR"/old-configure + +set -- "$@" --enable-project=js + +exec "$PYTHON3" "$TOPSRCDIR/configure.py" "$@" |