diff options
Diffstat (limited to 'Build/source/texk/configure')
-rwxr-xr-x | Build/source/texk/configure | 8 |
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) : ;; #( *) : |