diff options
Diffstat (limited to 'gnattools/configure')
| -rwxr-xr-x | gnattools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnattools/configure b/gnattools/configure index 9e9e7a497ce..30a9085b63d 100755 --- a/gnattools/configure +++ b/gnattools/configure @@ -1667,7 +1667,7 @@ case "${target}" in indepsw.adb<indepsw-mingw.adb" EXTRA_GNATTOOLS='../../gnatdll$(exeext)' ;; - powerpc-*-darwin*) + powerpc-*-darwin* | *86-*-darwin*) TOOLS_TARGET_PAIRS="mlib-tgt-specific.adb<mlib-tgt-darwin.adb" ;; *-*-lynxos) |