[2018-06] [MacOS] On Mac, use the copyfile API to copy files (#9696)
commit295f6d32afd0539e6aea96324145c00537726e65
authormonojenkins <jo.shields+jenkins@xamarin.com>
Wed, 25 Jul 2018 19:07:25 +0000 (25 15:07 -0400)
committerMarek Safar <marek.safar@gmail.com>
Wed, 25 Jul 2018 19:07:25 +0000 (25 21:07 +0200)
tree52be2e7c2482cfe9bd54012d303dbac58934b1d7
parent7d5f4b61366008d47665bb473205f4ae1f716d1f
[2018-06] [MacOS] On Mac, use the copyfile API to copy files (#9696)

Backport of #9642.

/cc @lewurm
configure.ac
mono/metadata/w32file-unix.c