diff options
Diffstat (limited to 'src/configure')
-rwxr-xr-x | src/configure | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/configure b/src/configure new file mode 100755 index 0000000..d8595a5 --- /dev/null +++ b/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 |