diff options
| author | Nathanael Nerode <neroden@gcc.gnu.org> | 2004-04-25 21:29:37 +0000 |
|---|---|---|
| committer | Nathanael Nerode <neroden@gcc.gnu.org> | 2004-04-25 21:29:37 +0000 |
| commit | 20b2a62aec0cf5989193c19daf2b4a79a5d81c01 (patch) | |
| tree | 4559985556679c748650ecad6730f735d59bb8b1 /libada/configure | |
| parent | 3525dc83eba2c23138b3e927ea51cff2817952ba (diff) | |
* configure.ac: Fix stupid brain-fade; set default_gnattools_target
correctly.
* configure: Regenerate.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@81167 138bc75d-0d04-0410-961f-82ee72b054a4
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" |