summaryrefslogtreecommitdiff
path: root/Build/source/utils/configure
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils/configure')
-rwxr-xr-xBuild/source/utils/configure8
1 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/utils/configure b/Build/source/utils/configure
index e19fde75a9f..d1cc6927a51 100755
--- a/Build/source/utils/configure
+++ b/Build/source/utils/configure
@@ -4107,7 +4107,7 @@ if test "${enable_bibtex8+set}" = set; then :
enableval=$enable_bibtex8;
fi
-case enable_bibtex8 in #(
+case $enable_bibtex8 in #(
yes | no) :
;; #(
*) :
@@ -4118,7 +4118,7 @@ if test "${enable_bibtexu+set}" = set; then :
enableval=$enable_bibtexu;
fi
-case enable_bibtexu in #(
+case $enable_bibtexu in #(
yes | no) :
;; #(
*) :
@@ -4312,7 +4312,7 @@ if test "${enable_dvipdfmx+set}" = set; then :
enableval=$enable_dvipdfmx;
fi
-case enable_dvipdfmx in #(
+case $enable_dvipdfmx in #(
yes | no) :
;; #(
*) :
@@ -4323,7 +4323,7 @@ if test "${enable_xdvipdfmx+set}" = set; then :
enableval=$enable_xdvipdfmx;
fi
-case enable_xdvipdfmx in #(
+case $enable_xdvipdfmx in #(
yes | no) :
;; #(
*) :