Commit 32b56fe4 authored by Dr. Stephen Henson's avatar Dr. Stephen Henson
Browse files

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

parent efd031ab

util/mklink.pl

+1 −0
Original line number Diff line number Diff line
@@ -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) {

util/point.sh

+1 −1
Original line number Diff line number Diff line 
#!/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"