diff --git a/util/mklink.pl b/util/mklink.pl index 61db12c68..72a562eca 100755 --- 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 da39899cb..22daf0e8c 100755 --- 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"