diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/configure.in b/configure.in index fbf5f55..e95af52 100644 --- a/configure.in +++ b/configure.in @@ -330,6 +330,28 @@ case "${target}" in ;; esac +# If --enable-target-optspace always use -Os instead of -O2 to build +# the target libraries, similarly if it is not specified, use -Os +# on selected platforms. +case "${enable_target_optspace}:${target}" in + yes:*) + target_makefile_frag="${target_makefile_frag} config/mt-ospace" + ;; + :m32r-* | :d10v-*) + target_makefile_frag="${target_makefile_frag} config/mt-ospace" + ;; +# start-sanitize-d30v + :d30v-*-*) + target_makefile_frag="${target_makefile_frag} config/mt-ospace" + ;; +# end-sanitize-d30v + no:*) + ;; + *) + echo "*** bad value \"${enable_target_optspace}\" for --enable-target-optspace flag; ignored" 1>&2 + ;; +esac + skipdirs= gasdir=gas use_gnu_ld= |