diff options
Diffstat (limited to '')
-rw-r--r-- | make/custom/gensh1.cfg | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/make/custom/gensh1.cfg b/make/custom/gensh1.cfg index 5ed09c7c7e..df03bb1558 100644 --- a/make/custom/gensh1.cfg +++ b/make/custom/gensh1.cfg @@ -22,12 +22,7 @@ RTEMS_BSP_FAMILY=gensh1 # CPU_CFLAGS=-m1 -# debug flags: typically none, but we use -O1 as it produces better code -# CFLAGS_DEBUG_V = -O1 -CFLAGS_DEBUG_V = - -# optimize flag: typically -0, could use -O4 or -fast -# -O4 is ok for RTEMS +# optimize flag: typically -O2 CFLAGS_OPTIMIZE_V = -O4 # The following are definitions of make-exe which will work using ld as |