diff options
Diffstat (limited to 'make')
| -rw-r--r-- | make/custom/erc32.cfg | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/make/custom/erc32.cfg b/make/custom/erc32.cfg index fbe3502848..efb1e2c261 100644 --- a/make/custom/erc32.cfg +++ b/make/custom/erc32.cfg @@ -60,6 +60,9 @@ START_BASE=startsis # time spent in the idle task is minimized. This significantly reduces # the wall time required to execute the RTEMS test suites. # +# FPU_REVB (erc32_bsp) +# If defined, enables work-around for bug 3.14 in FPU rev.B or rev.C +# define make-target-options @echo "/* #define NDEBUG 1 */ " >>$@ @@ -69,6 +72,7 @@ define make-target-options @echo "#define CONSOLE_USE_INTERRUPTS 1" >>$@ @echo "#define CONSOLE_USE_POLLED ~CONSOLE_USE_INTERRUPTS" >>$@ @echo "/* #define SIMSPARC_FAST_IDLE 1 */" >>$@ + @echo "#define FPU_REVB 1" >>$@ endef |