diff --git a/tools/scripts/Makefile.include b/tools/scripts/Makefile.include index 25adfec2cb399c163ea8864e3da3ef5674410165..f9271f3ea91299d32fdf7a516093b99e695743cd 100644 --- a/tools/scripts/Makefile.include +++ b/tools/scripts/Makefile.include @@ -38,6 +38,7 @@ EXTRA_WARNINGS += -Wswitch-enum EXTRA_WARNINGS += -Wundef EXTRA_WARNINGS += -Wwrite-strings EXTRA_WARNINGS += -Wformat +EXTRA_WARNINGS += -Wno-type-limits # Makefiles suck: This macro sets a default value of $(2) for the # variable named by $(1), unless the variable has been set by