Use ## to create sections (Learn more)
diff --git a/tools/configure b/tools/configure
index 7c41a0b..ae767e2 100755
@@ -2892,7 +2892,7 @@ if test "$CC" = "sh-elf-gcc"; then
-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 /'`
Share the private access URL responsibly.
Anyone will be able to find and view this paste. Google will index it.
All that is necessary for the triumph of evil is that good men do nothing. Do something.