From dfb4efe070804485392354c3062f10a8672d3e2d Mon Sep 17 00:00:00 2001 From: "Dr. David von Oheimb" Date: Thu, 24 Jun 2021 21:32:07 +0200 Subject: [PATCH] Makefile: Update but disable 'lint' target, using splint with some quirks Reviewed-by: Paul Dale Reviewed-by: Tomas Mraz Reviewed-by: David von Oheimb (Merged from https://github.com/openssl/openssl/pull/15913) --- Configurations/unix-Makefile.tmpl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Configurations/unix-Makefile.tmpl b/Configurations/unix-Makefile.tmpl index c74d539f4a3..2ad46b992fe 100644 --- a/Configurations/unix-Makefile.tmpl +++ b/Configurations/unix-Makefile.tmpl @@ -1130,8 +1130,11 @@ md-nits: #coverage: $(PROGRAMS) $(TESTPROGRAMS) # ... +.PHONY: lint lint: - lint -DLINT $(INCLUDES) $(SRCS) + @( cd $(SRCDIR); \ + echo splint -DLINT -posixlib -preproc -D__gnuc_va_list=void \ + -I. -Iinclude -Iapps/include $(CRYPTOHEADERS) $(SSLHEADERS) $(SRCS) ) generate_apps: ( cd $(SRCDIR); $(PERL) VMS/VMSify-conf.pl \ -- 2.47.2