diff options
| author | stijn | 2020-04-09 13:59:11 +0200 |
|---|---|---|
| committer | Damien George | 2020-04-18 22:42:28 +1000 |
| commit | 30840ebc9925bb8ef025dbc2d5982b1bfeb75f1b (patch) | |
| tree | 082f9e270bf84692952d73802e39ed70844e8833 /ports/windows | |
| parent | f31f9a8b70db03cbcbcf39b493f959d0e284962a (diff) | |
all: Enable extra conversion warnings where applicable.
Add -Wdouble-promotion and -Wfloat-conversion for most ports to ban out
implicit floating point conversions, and add extra Travis builds using
MICROPY_FLOAT_IMPL_FLOAT to uncover warnings which weren't found
previously. For the unix port -Wsign-comparison is added as well but only
there since only clang supports this but gcc doesn't.
Diffstat (limited to 'ports/windows')
| -rw-r--r-- | ports/windows/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/windows/Makefile b/ports/windows/Makefile index 595ce2036..6c8963513 100644 --- a/ports/windows/Makefile +++ b/ports/windows/Makefile @@ -15,7 +15,7 @@ INC += -I$(TOP) INC += -I$(BUILD) # compiler settings -CFLAGS = $(INC) -Wall -Wpointer-arith -Werror -std=gnu99 -DUNIX -D__USE_MINGW_ANSI_STDIO=1 $(CFLAGS_MOD) $(COPT) $(CFLAGS_EXTRA) +CFLAGS = $(INC) -Wall -Wpointer-arith -Wdouble-promotion -Werror -std=gnu99 -DUNIX -D__USE_MINGW_ANSI_STDIO=1 $(CFLAGS_MOD) $(COPT) $(CFLAGS_EXTRA) LDFLAGS = $(LDFLAGS_MOD) -lm $(LDFLAGS_EXTRA) # Debugging/Optimization |