diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/configure.in b/configure.in new file mode 100644 index 0000000000..619f9f448b --- /dev/null +++ b/configure.in @@ -0,0 +1,19 @@ +#!/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/. +# +# Because adding a configure file in the tree is going to conflict with +# existing configure files in people's (and automation) work trees, and +# because some automation jobs are still running autoconf and configure +# "manually", this file is actually an m4 file that is processed by +# autoconf, but doesn't call any autoconf macros. The `divert` line +# below ensures the script that follows is output by autoconf. +: "divert(0)dnl" +#!/bin/sh + +SRCDIR=$(dirname $0) +TOPSRCDIR="$SRCDIR" +PYTHON3="${PYTHON3:-python3}" + +exec "$PYTHON3" "$TOPSRCDIR/configure.py" "$@" |