diff options
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 12b45bf890..7f5b5c6f5b 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -8,7 +8,7 @@ | |||
8 | # | 8 | # |
9 | 9 | ||
10 | # global CC options for all platforms | 10 | # global CC options for all platforms |
11 | CCOPTS="-W -Wall -Wextra -Wundef -Os -nostdlib -ffreestanding -Wstrict-prototypes -pipe -std=gnu99 -funit-at-a-time -fno-delete-null-pointer-checks" | 11 | 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" |
12 | 12 | ||
13 | # LD options for the core | 13 | # LD options for the core |
14 | LDOPTS="" | 14 | LDOPTS="" |