summaryrefslogtreecommitdiff
path: root/Build/source/configure
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2009-04-27 15:51:44 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2009-04-27 15:51:44 +0000
commit00fd6939347f92cf9a6c4b4a794addb694f49e12 (patch)
treeac402537f4eef3e24b28d394b41e11fb12f5c529 /Build/source/configure
parentf9ca28880f0f3b5743559635fd96b5b98bcd78b8 (diff)
new build system: update texk/xdvik
git-svn-id: svn://tug.org/texlive/trunk@12830 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/configure')
-rwxr-xr-xBuild/source/configure12
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; }