1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

Merge pull request #9357 from gebart/pr/WERROR

make: Clean up WERROR handling
This commit is contained in:
Gaëtan Harter 2018-06-26 13:54:12 +02:00 committed by GitHub
commit b0f1f31fdb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 4 deletions

View File

@ -129,13 +129,13 @@ endif
WERROR ?= 1
export WERROR
ifeq ($(WERROR),1)
CFLAGS += -Wall -Werror -Wextra
CFLAGS += -Werror
endif
WPEDANTIC ?= 0
export WPEDANTIC
ifeq ($(WPEDANTIC),1)
CFLAGS += -Wpedantic -pedantic-errors
CFLAGS += -Wpedantic
endif
# remove this once codebase is adapted

View File

@ -57,8 +57,8 @@ endif
# Forbid common symbols to prevent accidental aliasing.
CFLAGS += -fno-common
# Enable all default warnings
CFLAGS += -Wall
# Enable all default warnings and all extra warnings
CFLAGS += -Wall -Wextra
# Warn if a user-supplied include directory does not exist.
CFLAGS += -Wmissing-include-dirs