diff options
-rwxr-xr-x | tools/configure | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 88c3738203..2e2cf2cdb0 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -217,7 +217,12 @@ simcc () { | |||
217 | 217 | ||
218 | app_type=$1 | 218 | app_type=$1 |
219 | winbuild="" | 219 | winbuild="" |
220 | GCCOPTS=`echo $CCOPTS | sed -e s/-ffreestanding// -e s/-nostdlib// -e s/-Wundef// -e s/-O//` | 220 | GCCOPTS=`echo $CCOPTS | sed -e s/-ffreestanding// -e s/-nostdlib// -e s/-Wundef//` |
221 | if [ "$app_type" != "sdl-app" ]; then | ||
222 | # Disable optimizations for non-app builds | ||
223 | GCCOPTS=`echo $GCCOPTS | sed -e s/-O//` | ||
224 | fi | ||
225 | |||
221 | GCCOPTS="$GCCOPTS -fno-builtin -g" | 226 | GCCOPTS="$GCCOPTS -fno-builtin -g" |
222 | GCCOPTIMIZE='' | 227 | GCCOPTIMIZE='' |
223 | LDOPTS='-lm' # button-sdl.c uses sqrt() | 228 | LDOPTS='-lm' # button-sdl.c uses sqrt() |