diff options
Diffstat (limited to 'Build/source/utils/texdoctk/configure')
-rwxr-xr-x | Build/source/utils/texdoctk/configure | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Build/source/utils/texdoctk/configure b/Build/source/utils/texdoctk/configure index 8b0072c3d91..c974095f7b5 100755 --- a/Build/source/utils/texdoctk/configure +++ b/Build/source/utils/texdoctk/configure @@ -3530,6 +3530,7 @@ else $as_echo "no, using $LN_S" >&6; } fi + { $as_echo "$as_me:${as_lineno-$LINENO}: checking for native WIN32 or MINGW32" >&5 $as_echo_n "checking for native WIN32 or MINGW32... " >&6; } if ${kpse_cv_have_win32+:} false; then : @@ -3584,7 +3585,8 @@ else WIN32_FALSE= fi - if test -r $srcdir/../../texk/texlive/w32_wrapper/runscript.exe; then + + if test -r "$srcdir/../../texk/texlive/w32_wrapper/runscript.exe"; then WIN32_WRAP_TRUE= WIN32_WRAP_FALSE='#' else @@ -3593,6 +3595,7 @@ else fi + ac_config_files="$ac_config_files Makefile" |