diff options
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-x | Build/source/configure | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/Build/source/configure b/Build/source/configure index d8b0bd7985c..7c02cedec89 100755 --- a/Build/source/configure +++ b/Build/source/configure @@ -25410,8 +25410,10 @@ fi ** Configuration summary for $PACKAGE_STRING: $msg_compiling for $host - prefix: $prefix - enable_multiplatform: $enable_multiplatform + prefix: $prefix + enable_shared: $enable_shared + enable_multiplatform: $enable_multiplatform + enable_cxx_runtime_hack: $enable_cxx_runtime_hack ** Next run \`make' to configure and build each library and program. " >&5 @@ -25419,8 +25421,10 @@ $as_echo " ** Configuration summary for $PACKAGE_STRING: $msg_compiling for $host - prefix: $prefix - enable_multiplatform: $enable_multiplatform + prefix: $prefix + enable_shared: $enable_shared + enable_multiplatform: $enable_multiplatform + enable_cxx_runtime_hack: $enable_cxx_runtime_hack ** Next run \`make' to configure and build each library and program. " >&6; } |