Index: gnattools/configure --- gnattools/configure.orig +++ gnattools/configure @@ -2079,6 +2079,11 @@ case "${target}" in mlib-tgt-specific.adb