diff options
Diffstat (limited to 'mnv/src/configure')
| -rwxr-xr-x | mnv/src/configure | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/mnv/src/configure b/mnv/src/configure new file mode 100755 index 0000000000..d8595a5244 --- /dev/null +++ b/mnv/src/configure @@ -0,0 +1,10 @@ +#! /bin/sh +# run the automatically generated configure script +CONFIG_STATUS=auto/config.status \ + auto/configure "$@" --srcdir="${srcdir:-.}" --cache-file=auto/config.cache +result=$? + +# Stupid autoconf 2.5x causes this file to be left behind. +if test -f configure.lineno; then rm -f configure.lineno; fi + +exit $result |