diff options
Diffstat (limited to 'make/custom/rbtx4925.cfg')
-rw-r--r-- | make/custom/rbtx4925.cfg | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/make/custom/rbtx4925.cfg b/make/custom/rbtx4925.cfg index ec8557486d..e0076f492b 100644 --- a/make/custom/rbtx4925.cfg +++ b/make/custom/rbtx4925.cfg @@ -15,8 +15,7 @@ RTEMS_BSP_FAMILY=rbtx4925 # and (hopefully) optimize for it. CPU_CFLAGS = -mips3 -G0 -EL -# optimize flag: typically -0, could use -O4 or -fast -# -O4 is ok for RTEMS +# optimize flag: typically -O2 CFLAGS_OPTIMIZE_V=-O4 -fomit-frame-pointer # The following are definitions of make-exe which will work using ld as |