diff --git a/tools/configure b/tools/configure index 12b45bf890..7f5b5c6f5b 100755 --- a/tools/configure +++ b/tools/configure @@ -8,7 +8,7 @@ # # global CC options for all platforms -CCOPTS="-W -Wall -Wextra -Wundef -Os -nostdlib -ffreestanding -Wstrict-prototypes -pipe -std=gnu99 -funit-at-a-time -fno-delete-null-pointer-checks" +CCOPTS="-W -Wall -Wextra -Wundef -Os -nostdlib -ffreestanding -Wstrict-prototypes -pipe -std=gnu99 -funit-at-a-time -fno-delete-null-pointer-checks -fno-strict-overflow" # LD options for the core LDOPTS=""