avoid use of symlinks on Windows: it causes problems on some build environments

diff --git a/util/mklink.pl b/util/mklink.pl
index 61db12c68f3156475f4f44e2dde2e01d8be001ee..72a562ecaf0222f78fbe24a5cdb0cfd02fc34822 100755 (executable)
--- a/util/mklink.pl
+++ b/util/mklink.pl
@@ -52,6 +52,7 @@ my $to = join('/', @to_path);
 my $file;
 $symlink_exists=eval {symlink("",""); 1};
 if ($^O eq "msys") { $symlink_exists=0 };
+if ($^O eq "MSWin32") { $symlink_exists=0 };
 foreach $file (@files) {
     my $err = "";
     if ($symlink_exists) {

diff --git a/util/point.sh b/util/point.sh
index da39899cb19e9c85ce58b1da5f9214fda81a742f..22daf0e8c502de27c9f8158361965bb186eb7c2a 100755 (executable)
--- a/util/point.sh
+++ b/util/point.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 rm -f "$2"
-if test "$OSTYPE" = msdosdjgpp || test "x$PLATFORM" = xmingw ; then
+if test "$OSTYPE" = msdosdjgpp || test "x$PLATFORM" = xmingw || test "x$OS" = xWindows_NT ; then
     cp "$1" "$2"
 else
     ln -s "$1" "$2"