mirror/openssl
2
0
Fork 0
mirror of https://github.com/openssl/openssl.git synced 2025-03-01 19:28:10 +08:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
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)
This commit is contained in:
Dr. David von Oheimb 2021-06-24 21:32:07 +02:00 committed by Dr. David von Oheimb
parent 67e0735f66
commit dfb4efe070
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Configurations/unix-Makefile.tmpl
View File

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