diff options
Diffstat (limited to 'main/gcc/libada-cross-shared.patch')
| -rw-r--r-- | main/gcc/libada-cross-shared.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/main/gcc/libada-cross-shared.patch b/main/gcc/libada-cross-shared.patch index 0678f9cafe..c4e7ae01d6 100644 --- a/main/gcc/libada-cross-shared.patch +++ b/main/gcc/libada-cross-shared.patch @@ -5,7 +5,7 @@ # Determine what to build for 'gnatlib' -if test $build = $target \ -+if test $host = $target \ ++if true \ && test ${enable_shared} = yes ; then # Note that build=target is almost certainly the wrong test; FIXME default_gnatlib_target="gnatlib-shared" @@ -16,7 +16,7 @@ # Determine what to build for 'gnatlib' -if test $build = $target \ -+if test $host = $target \ ++if true \ && test ${enable_shared} = yes ; then # Note that build=target is almost certainly the wrong test; FIXME default_gnatlib_target="gnatlib-shared" |