diff options
Diffstat (limited to 'libada/configure.ac')
| -rw-r--r-- | libada/configure.ac | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libada/configure.ac b/libada/configure.ac index 9698f5fe14c..eaa50b86441 100644 --- a/libada/configure.ac +++ b/libada/configure.ac @@ -81,10 +81,13 @@ 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 AC_SUBST([default_gnatlib_target]) +AC_SUBST([default_gnattools_target]) # Output: create a Makefile. AC_CONFIG_FILES([Makefile]) |