diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 8d00be434d..63d26e6b68 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" | 11 | CCOPTS="-W -Wall -Wextra -Wundef -Os -nostdlib -ffreestanding -Wstrict-prototypes -pipe -std=gnu99 -funit-at-a-time -fno-delete-null-pointer-checks" |
12 | 12 | ||
13 | # LD options for the core | 13 | # LD options for the core |
14 | LDOPTS="" | 14 | LDOPTS="" |