Makefile: Update but disable 'lint' target, using splint with some quirks

Reviewed-by: Paul Dale <pauli@openssl.org>
Reviewed-by: Tomas Mraz <tomas@openssl.org>
Reviewed-by: David von Oheimb <david.von.oheimb@siemens.com>
(Merged from https://github.com/openssl/openssl/pull/15913)

diff --git a/Configurations/unix-Makefile.tmpl b/Configurations/unix-Makefile.tmpl
index c74d539f4a38f16ff91a72bea84dca7f8276a02e..2ad46b992fe3836947671cb1ba38633061ca7ff7 100644 (file)
--- 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 \