diff options
Diffstat (limited to 'libada/configure')
| -rwxr-xr-x | libada/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libada/configure b/libada/configure index e8870875e6bf..6ec07c472fe7 100755 --- a/libada/configure +++ b/libada/configure @@ -1557,7 +1557,7 @@ if test $build = $target \ # Note that build=target is almost certainly the wrong test; FIXME default_gnatlib_target="gnatlib-shared" else - default_gnatlib_target="gnatlib-simple" + default_gnatlib_target="gnatlib-plain" fi |