summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/configure
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2010-06-04 08:50:20 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2010-06-04 08:50:20 +0000
commit2300ccb10e93ce75ca3e3dcf2b26bd4600761a47 (patch)
tree37a33bbefeac5a45bf01648b1e27c91c000902c9 /Build/source/texk/web2c/configure
parentd99cbbf7e8cc585a93ea5db4531c0da771c1f0ee (diff)
misc cleanup
git-svn-id: svn://tug.org/texlive/trunk@18715 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/configure')
-rwxr-xr-xBuild/source/texk/web2c/configure25
1 files changed, 11 insertions, 14 deletions
diff --git a/Build/source/texk/web2c/configure b/Build/source/texk/web2c/configure
index 393ff2264b9..7c7def7100b 100755
--- a/Build/source/texk/web2c/configure
+++ b/Build/source/texk/web2c/configure
@@ -1010,7 +1010,7 @@ enable_largefile
enable_compiler_warnings
enable_cxx_runtime_hack
enable_libtool_hack
-with_tex_banner
+with_banner_add
with_editor
enable_auto_core
enable_dump_share
@@ -1750,7 +1750,7 @@ Optional Packages:
--with-pic try to use only PIC/non-PIC objects [default=use
both]
--with-gnu-ld assume the C compiler uses GNU ld [default=no]
- --with-tex-banner=STR version string appended to banner lines [Web2C YEAR]
+ --with-banner-add=STR add STR to version string appended to banner lines
--with-editor=CMD invoke CMD from the `e' option [vi +%d %s]
--without-mf-x-toolkit do not use X toolkit for METAFONT
--with-fontconfig-includes=DIR
@@ -16636,9 +16636,9 @@ fi
## texk/web2c/ac/web2c.ac: configure.ac fragment for the TeX Live subdirectory texk/web2c/
## configure options for TeX and MF
-# Check whether --with-tex-banner was given.
-if test "${with_tex_banner+set}" = set; then :
- withval=$with_tex_banner;
+# Check whether --with-banner-add was given.
+if test "${with_banner_add+set}" = set; then :
+ withval=$with_banner_add;
fi
# Check whether --with-editor was given.
@@ -16816,16 +16816,13 @@ if test "${enable_web_progs+set}" = set; then :
fi
-case $with_tex_banner in #(
- ''|yes|no) :
- with_tex_banner="Web2C $WEB2CVERSION" ;; #(
- *) :
- if echo "$with_tex_banner" | grep -v "$WEB2CVERSION" >/dev/null; then :
- as_fn_error "Bad \`--with-tex-banner=$with_tex_banner' version string (must contain \` $WEB2CVERSION')" "$LINENO" 5
-fi ;;
-esac
+if test "x$enable_texlive_build" = xyes; then :
+ banner_pre='TeX Live'
+else
+ banner_pre='Web2C'
+fi
cat >>confdefs.h <<_ACEOF
-#define WEB2CVERSION " ($with_tex_banner)"
+#define WEB2CVERSION " ($banner_pre $WEB2CVERSION$with_banner_add)"
_ACEOF