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