diff options
Diffstat (limited to 'make/custom/genmongoosev.cfg')
| -rw-r--r-- | make/custom/genmongoosev.cfg | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/make/custom/genmongoosev.cfg b/make/custom/genmongoosev.cfg index dcafdc0e36..61635907b2 100644 --- a/make/custom/genmongoosev.cfg +++ b/make/custom/genmongoosev.cfg @@ -17,8 +17,7 @@ RTEMS_BSP_FAMILY=genmongoosev # CPU_CFLAGS=-mips1 -G0 -# optimize flag: typically -0, could use -O4 or -fast -# -O4 is ok for RTEMS +# optimize flag: typically -O2 CFLAGS_OPTIMIZE_V=-O2 -g # The following are definitions of make-exe which will work using ld as |