1
2
3
4
5
6
7
8
9
10
11
12
13
diff --git a/tools/configure b/tools/configure
index 7c41a0b..ae767e2 100755
--- a/tools/configure
+++ b/tools/configure
@@ -2892,7 +2892,7 @@ if test "$CC" = "sh-elf-gcc"; then
   fi
 fi

-if test "$CC" = "m68k-elf-gcc"; then
+if [ "$CC" = "m68k-elf-gcc" ] -o [ "$CC" = "arm-elf-eabi-gcc" ]; then
   # convert -O to -Os to get smaller binaries!
   GCCOPTS=`echo $GCCOPTS | sed 's/ -O / -Os /'`
 fi