diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/configure | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 1a84a487ee..d73409d44b 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -1470,6 +1470,11 @@ if test "$CC" = "sh-elf-gcc"; then | |||
1470 | fi | 1470 | fi |
1471 | fi | 1471 | fi |
1472 | 1472 | ||
1473 | if test "$CC" = "m68k-elf-gcc"; then | ||
1474 | # convert -O to -Os to get smaller binaries! | ||
1475 | GCCOPTS=`echo $GCCOPTS | sed 's/ -O / -Os /'` | ||
1476 | fi | ||
1477 | |||
1473 | if test "$1" = "--ccache"; then | 1478 | if test "$1" = "--ccache"; then |
1474 | echo "Enable ccache for building" | 1479 | echo "Enable ccache for building" |
1475 | ccache="ccache" | 1480 | ccache="ccache" |