diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure index 95467f5a3cc..8698c45f730 100755 --- a/configure +++ b/configure @@ -55,6 +55,7 @@ extraconfigdirs= diroptions= enable_threads=no enable_shared=no +enable_libstdcxx_v3=yes exec_prefix= exec_prefixoption= fatal= @@ -88,7 +89,7 @@ subdirs= target_alias=NOTARGET target_makefile_frag= undefs=NOUNDEFS -version="$Revision: 1.29 $" +version="$Revision: 1.30 $" x11=default bindir='${exec_prefix}/bin' sbindir='${exec_prefix}/sbin' |