Improvement: Add warning on double promotion and remove one the last that remains

2026-06-18 08:32:27 +00:00 · 2022-04-21 15:49:58 +02:00
parent 96a27ee556
commit 55c9087140
2 changed files with 3 additions and 3 deletions
@@ -29,7 +29,7 @@ AS := $(if $(AS)=as,$(CC),$(AS))
 LD := $(if $(LD)=ld,$(CC),$(LD))

 CFLAGS := $(if $(DEBUG),-O0 -g,-O3)
-CFLAGS += -std=c11 -Wall -Wextra
+CFLAGS += -std=c11 -Wall -Wextra -Wdouble-promotion


 #