diff options
| -rwxr-xr-x | configure | 7 |
1 files changed, 2 insertions, 5 deletions
@@ -551,11 +551,8 @@ fn_makelink() esac ;; esac - if test "$mingw32" = "yes" ; then - cmd //c mklink `echo "$2 $tgt" | sed 's,/,\\\\,g'` - else - ln -sfn $tgt $2 - fi + + ln -sfn $tgt $2 || ( echo "ln failed. Using cp instead."; cp -f $1/$2 $2 ) } if test "$source_path_used" = "yes" ; then |
