From: Dr. David von Oheimb <David.von.Oheimb@siemens.com>
Date: Thu, 24 Jun 2021 19:32:07 +0000 (+0200)
Subject: Makefile: Update but disable 'lint' target, using splint with some quirks
X-Git-Tag: openssl-3.2.0-alpha1~1988
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=dfb4efe070804485392354c3062f10a8672d3e2d;p=thirdparty%2Fopenssl.git

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 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 \