diff options
Diffstat (limited to 'Build/source/utils/ps2eps/configure')
-rwxr-xr-x | Build/source/utils/ps2eps/configure | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/utils/ps2eps/configure b/Build/source/utils/ps2eps/configure index d1504061cfa..314fb22b4e6 100755 --- a/Build/source/utils/ps2eps/configure +++ b/Build/source/utils/ps2eps/configure @@ -4284,7 +4284,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 @@ -4293,6 +4294,7 @@ else fi + PS2EPS_TREE=ps2eps-1.68 |