--- gnattools/configure.orig 2014-01-27 08:18:29 UTC +++ gnattools/configure @@ -2039,6 +2039,11 @@ case "${target}" in mlib-tgt-specific.adb