diff options
Diffstat (limited to 'libada/configure')
| -rwxr-xr-x | libada/configure | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/libada/configure b/libada/configure index 5ab0e211aa0..17a52c81db2 100755 --- a/libada/configure +++ b/libada/configure @@ -2960,9 +2960,7 @@ fi # Determine what to build for 'gnatlib' -if test $build = $target \ - && test ${enable_shared} = yes ; then - # Note that build=target is almost certainly the wrong test; FIXME +if test ${enable_shared} = yes; then default_gnatlib_target="gnatlib-shared" else default_gnatlib_target="gnatlib-plain" @@ -3006,9 +3004,10 @@ $as_echo "#define HAVE_GETIPINFO 1" >>confdefs.h fi -have_getipinfo= if test x$have_unwind_getipinfo = xyes; then have_getipinfo=-DHAVE_GETIPINFO +else + have_getipinfo= fi |