diff options
| author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2020-12-17 09:02:15 +0000 |
|---|---|---|
| committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2020-12-17 09:02:15 +0000 |
| commit | 6474ca0f76cc36269bd82f77aa1993c33925c2b5 (patch) | |
| tree | 7c8ace3912d79ce8cb8001d6d1ea8dc6666d50db | |
| parent | bfefa7b924c7ff8db02facee2b85fec225e65804 (diff) | |
config/gcc.conf: Cleanup GCC configure line
Change-Id: I85a11e714ccd63bf5da12315b09ca64dc1d8940d
| -rw-r--r-- | config/gcc.conf | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/config/gcc.conf b/config/gcc.conf index 436e5a95..bfcc4b91 100644 --- a/config/gcc.conf +++ b/config/gcc.conf @@ -2,10 +2,15 @@ static_link="no" # This is a list of default flags always supplied to configure -default_configure_flags="\ +if [ x"$use_system_libs" = x"no" ]; then + default_configure_flags="\ --with-mpc=${local_builds}/destdir/${host} \ --with-mpfr=${local_builds}/destdir/${host} \ ---with-gmp=${local_builds}/destdir/${host} \ +--with-gmp=${local_builds}/destdir/${host}" +else + default_configure_flags="" +fi +default_configure_flags="$default_configure_flags \ --with-gnu-as \ --with-gnu-ld \ " |