diff options
Diffstat (limited to 'Build/source/texk/bibtex-x/configure')
-rwxr-xr-x | Build/source/texk/bibtex-x/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/bibtex-x/configure b/Build/source/texk/bibtex-x/configure index 6087f898a90..2ce6c6b80d9 100755 --- a/Build/source/texk/bibtex-x/configure +++ b/Build/source/texk/bibtex-x/configure @@ -13706,7 +13706,7 @@ if test "${enable_bibtex8+set}" = set; then : enableval=$enable_bibtex8; fi -case enable_bibtex8 in #( +case $enable_bibtex8 in #( yes | no) : ;; #( *) : @@ -13717,7 +13717,7 @@ if test "${enable_bibtexu+set}" = set; then : enableval=$enable_bibtexu; fi -case enable_bibtexu in #( +case $enable_bibtexu in #( yes | no) : ;; #( *) : |