diff options
Diffstat (limited to 'configs/linux')
-rw-r--r-- | configs/linux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/linux b/configs/linux index e3119ec5cdb..0ffc1bcb573 100644 --- a/configs/linux +++ b/configs/linux @@ -8,7 +8,7 @@ CONFIG_NAME = linux CC = gcc CXX = g++ -WARN_FLAGS = -Wall +WARN_FLAGS = -Wall -Wmissing-prototypes OPT_FLAGS = -O3 -g PIC_FLAGS = -fPIC |