diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 34e1a592..02e7b612 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -128,6 +128,10 @@ gitconfig: check-patches: @contrib/check-patches origin/master.. +.PHONY: validate +validate: CFLAGS = -Wall -Wextra -Wconversion -Werror -Wformat-security -Wstack-protector -Wpedantic -Wmissing-prototypes +validate: all tests lint check-patches + # Generate build and install rules for one man page # # $1: man page name (e.g: aerc.1) |