summaryrefslogtreecommitdiff
path: root/Build/source/texk/configure
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2015-07-07 11:23:46 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2015-07-07 11:23:46 +0000
commit754e9c2248c33e0f7b6e859f7337789acf742a9d (patch)
treef52e05cd2b2ad3ffe725d99775c12ad670439aa7 /Build/source/texk/configure
parentdf37004283539e70472b6a8309c2072813803a2c (diff)
Build system: Fixed --disable-bibtex[8u] and --disable-(x)dvipdfmx
git-svn-id: svn://tug.org/texlive/trunk@37787 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/configure')
-rwxr-xr-xBuild/source/texk/configure8
1 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/texk/configure b/Build/source/texk/configure
index 1ea8e4fd21e..4bf86910f1c 100755
--- a/Build/source/texk/configure
+++ b/Build/source/texk/configure
@@ -4125,7 +4125,7 @@ if test "${enable_bibtex8+set}" = set; then :
enableval=$enable_bibtex8;
fi
-case enable_bibtex8 in #(
+case $enable_bibtex8 in #(
yes | no) :
;; #(
*) :
@@ -4136,7 +4136,7 @@ if test "${enable_bibtexu+set}" = set; then :
enableval=$enable_bibtexu;
fi
-case enable_bibtexu in #(
+case $enable_bibtexu in #(
yes | no) :
;; #(
*) :
@@ -4330,7 +4330,7 @@ if test "${enable_dvipdfmx+set}" = set; then :
enableval=$enable_dvipdfmx;
fi
-case enable_dvipdfmx in #(
+case $enable_dvipdfmx in #(
yes | no) :
;; #(
*) :
@@ -4341,7 +4341,7 @@ if test "${enable_xdvipdfmx+set}" = set; then :
enableval=$enable_xdvipdfmx;
fi
-case enable_xdvipdfmx in #(
+case $enable_xdvipdfmx in #(
yes | no) :
;; #(
*) :