diff options
Diffstat (limited to 'Build/source/texk/dvipdfm-x/configure')
-rwxr-xr-x | Build/source/texk/dvipdfm-x/configure | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/dvipdfm-x/configure b/Build/source/texk/dvipdfm-x/configure index af472e4cb1b..5f3474f5bdc 100755 --- a/Build/source/texk/dvipdfm-x/configure +++ b/Build/source/texk/dvipdfm-x/configure @@ -13694,7 +13694,7 @@ if test "${enable_dvipdfmx+set}" = set; then : enableval=$enable_dvipdfmx; fi -case enable_dvipdfmx in #( +case $enable_dvipdfmx in #( yes | no) : ;; #( *) : @@ -13705,7 +13705,7 @@ if test "${enable_xdvipdfmx+set}" = set; then : enableval=$enable_xdvipdfmx; fi -case enable_xdvipdfmx in #( +case $enable_xdvipdfmx in #( yes | no) : ;; #( *) : |