diff options
author | Dr. David von Oheimb <David.von.Oheimb@siemens.com> | 2021-06-24 21:32:07 +0200 |
---|---|---|
committer | Dr. David von Oheimb <dev@ddvo.net> | 2022-09-30 22:25:45 +0200 |
commit | dfb4efe070804485392354c3062f10a8672d3e2d (patch) | |
tree | ce7c60b0cecc7d6b58b5d31d69bdf8792a747252 /Configurations | |
parent | 67e0735f66971635508d9ab3f07e8b05a95491d5 (diff) | |
download | openssl-new-dfb4efe070804485392354c3062f10a8672d3e2d.tar.gz |
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)
Diffstat (limited to 'Configurations')
-rw-r--r-- | Configurations/unix-Makefile.tmpl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Configurations/unix-Makefile.tmpl b/Configurations/unix-Makefile.tmpl index c74d539f4a..2ad46b992f 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 \ |