--- gnattools/configure.orig 2013-12-04 21:28:21 UTC +++ gnattools/configure @@ -2039,6 +2039,11 @@ case "${target}" in mlib-tgt-specific.adb