diff options
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure.in b/configure.in index c219e36..7c69374 100644 --- a/configure.in +++ b/configure.in @@ -333,6 +333,7 @@ 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. +echo "---${enable_target_optspace}:${target}--" 1>&2 case "${enable_target_optspace}:${target}" in yes:*) target_makefile_frag="${target_makefile_frag} config/mt-ospace" @@ -345,7 +346,7 @@ case "${enable_target_optspace}:${target}" in target_makefile_frag="${target_makefile_frag} config/mt-ospace" ;; # end-sanitize-d30v - no:*) + no:* | :*) ;; *) echo "*** bad value \"${enable_target_optspace}\" for --enable-target-optspace flag; ignored" 1>&2 |