diff options
Diffstat (limited to '')
| -rw-r--r-- | make/custom/gp32.cfg | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/make/custom/gp32.cfg b/make/custom/gp32.cfg index 0b5d9b16ba..dc9ded1e75 100644 --- a/make/custom/gp32.cfg +++ b/make/custom/gp32.cfg @@ -17,10 +17,7 @@ RTEMS_BSP_FAMILY=gp32 # CPU_CFLAGS = -mcpu=arm920t -mstructure-size-boundary=32 -O3 -# optimize flag: typically -0, could use -O4 or -fast -# -O4 is ok for RTEMS -# NOTE2: some level of -O may be actually required by inline assembler (at least -# -O2 so far. +# optimize flag: typically -O2 CFLAGS_OPTIMIZE_V= define make-exe |