diff options
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index ca657347ea4..69c3934c4a2 100644 --- a/configure.ac +++ b/configure.ac @@ -244,6 +244,20 @@ case $host_os in ;; esac +AC_ARG_WITH([previous-options], + [AS_HELP_STRING([--with-previous-options], + [read config.status for configure options]) + ], + [ if test -r ./config.status && \ + args=$(grep 'ac_cs_config=' config.status | \ + sed -e 's/.*"\(.*\)".*/\1/'| sed -e "s/'//g") ; then + echo "###" + echo "### Rerunning as '$0 $args'" + echo "###" + exec $0 $args + fi + ]) + AC_ARG_WITH(pkgconfigdir, [ --with-pkgconfigdir=DIR pkgconfig file in DIR @<:@LIBDIR/pkgconfig@:>@], [pkgconfigdir=$withval], |