diff options
Diffstat (limited to 'libada/configure')
| -rwxr-xr-x | libada/configure | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/libada/configure b/libada/configure index b5e1827717e..1d5e30da9d5 100755 --- a/libada/configure +++ b/libada/configure @@ -1556,13 +1556,19 @@ if test $build = $target \ && test ${enable_shared} = yes ; then # Note that build=target is almost certainly the wrong test; FIXME default_gnatlib_target="gnatlib-shared" - default_gnattools_target="gnattools-cross" else default_gnatlib_target="gnatlib-plain" - default_gnattools_target="gnattools-native" fi +# Determine what to build for 'gnattools' +if test $build = $target ; then + # Note that build=target is almost certainly the wrong test; FIXME + default_gnattools_target="gnattools-native" +else + default_gnattools_target="gnattools-cross" +fi + # Output: create a Makefile. ac_config_files="$ac_config_files Makefile" |