diff options
Diffstat (limited to 'util/point.sh')
-rwxr-xr-x | util/point.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/point.sh b/util/point.sh index 4790e08f8a..da39899cb1 100755 --- a/util/point.sh +++ b/util/point.sh @@ -1,7 +1,7 @@ #!/bin/sh rm -f "$2" -if test "$OSTYPE" = msdosdjgpp; then +if test "$OSTYPE" = msdosdjgpp || test "x$PLATFORM" = xmingw ; then cp "$1" "$2" else ln -s "$1" "$2" |