diff options
Diffstat (limited to 'Build/source/utils/xindy/configure')
-rwxr-xr-x | Build/source/utils/xindy/configure | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/utils/xindy/configure b/Build/source/utils/xindy/configure index 51f11198df6..c19c207ec30 100755 --- a/Build/source/utils/xindy/configure +++ b/Build/source/utils/xindy/configure @@ -4949,7 +4949,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 @@ -4958,6 +4959,7 @@ else fi + XINDY_TREE=xindy-2.4 |