diff options
Diffstat (limited to 'gnattools/configure')
-rwxr-xr-x | gnattools/configure | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/gnattools/configure b/gnattools/configure index 30a9085b63d..31a2ff5031b 100755 --- a/gnattools/configure +++ b/gnattools/configure @@ -1516,7 +1516,8 @@ test -n "$target_alias" && # Test for GNAT. # We require the gnatbind program, and a compiler driver that -# understands Ada. We use the user's CC setting, already found. +# understands Ada. We use the user's CC setting, already found, +# and possibly add $1 to the command-line parameters. # # Sets the shell variable have_gnat to yes or no as appropriate, and # substitutes GNATBIND and GNATMAKE. @@ -1535,6 +1536,12 @@ test -n "$target_alias" && + + + + + + case ${build_alias} in "") build_noncanonical=${build} ;; *) build_noncanonical=${build_alias} ;; @@ -1597,8 +1604,6 @@ case "${target}" in | powerpc*-wrs-vxworks \ | sparc*-wrs-vx* \ | *86-wrs-vxworks \ - | xscale*-wrs-vx* \ - | xscale*-wrs-coff \ | mips*-wrs-vx*) TOOLS_TARGET_PAIRS="mlib-tgt-specific.adb<mlib-tgt-vxworks.adb" ;; |