diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tools/configure b/tools/configure index c1c942a7ea..837a107aac 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -207,7 +207,7 @@ calmrisccc () { | |||
207 | 207 | ||
208 | coldfirecc () { | 208 | coldfirecc () { |
209 | prefixtools m68k-elf- | 209 | prefixtools m68k-elf- |
210 | GCCOPTS="$CCOPTS -g -m5206e -Wa\,-m5249 -malign-int -mstrict-align" | 210 | GCCOPTS="$CCOPTS -m5206e -Wa\,-m5249 -malign-int -mstrict-align" |
211 | GCCOPTIMIZE="-fomit-frame-pointer" | 211 | GCCOPTIMIZE="-fomit-frame-pointer" |
212 | endian="big" | 212 | endian="big" |
213 | } | 213 | } |
@@ -311,7 +311,6 @@ whichdevel () { | |||
311 | if [ "yes" = "$profile" ]; then | 311 | if [ "yes" = "$profile" ]; then |
312 | extradefines="$extradefines -DRB_PROFILE" | 312 | extradefines="$extradefines -DRB_PROFILE" |
313 | PROFILE_OPTS="-finstrument-functions" | 313 | PROFILE_OPTS="-finstrument-functions" |
314 | GCCOPTS="$GCCOPTS $GCCOPTIMIZE" | ||
315 | fi | 314 | fi |
316 | } | 315 | } |
317 | 316 | ||
@@ -1172,11 +1171,13 @@ fi | |||
1172 | *) | 1171 | *) |
1173 | debug="" | 1172 | debug="" |
1174 | echo "Normal build selected" | 1173 | echo "Normal build selected" |
1175 | GCCOPTS="$GCCOPTS $GCCOPTIMIZE" | ||
1176 | ;; | 1174 | ;; |
1177 | 1175 | ||
1178 | esac | 1176 | esac |
1179 | 1177 | ||
1178 | if [ -z "$debug" ]; then | ||
1179 | GCCOPTS="$GCCOPTS $GCCOPTIMIZE" | ||
1180 | fi | ||
1180 | 1181 | ||
1181 | whichaddr | 1182 | whichaddr |
1182 | 1183 | ||