summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/configure2
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
11CCOPTS="-W -Wall -Wextra -Wundef -Os -nostdlib -ffreestanding -Wstrict-prototypes -pipe -std=gnu99 -funit-at-a-time -fno-delete-null-pointer-checks" 11CCOPTS="-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
14LDOPTS="" 14LDOPTS=""