Is there an update to get the 01/04/2016 build tools? I tried performing the update suggested on mamedev:
"In case you have version from 2016-01-03, just do : git pull in root of your tools to update
scripts, and then check if file usr\bin\sh.exe.old exist, if so rename it to usr\bin\sh.exe
Start your environment and enjoy. "
But this gives me an "aborted" error, although the usr\bin\sh.exe.old did exist, so I renamed it.
Thanks,
Martin