https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104303
--- Comment #13 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Should be fixed now. Yes, I confirm that gnatmake now works correctly again, thanks!
ebotcazou at gcc dot gnu.org via Gcc-bugs Thu, 07 Apr 2022 07:17:04 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104303
--- Comment #13 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Should be fixed now. Yes, I confirm that gnatmake now works correctly again, thanks!