https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81878
--- Comment #28 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Aaahh Yes, and now I understand what the problem is.. as > https://github.com/Alexpux/MINGW-packages/pull/3877#issuecomment-408660810 > points out, gnatlink is a shell script on non-Windows but on Windows it's a > program. this means it's interpreting the unix paths incorrectly `/home` is > then interpreted by the Windows API. I hadn't understood the comment fully > until now that I knew how it's supposed to work... gnatlink is _never_ a shell script though but, yes, it's apparently the usual mess with Unix paths on Windows.
