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 | |
| parent | 67e0735f66971635508d9ab3f07e8b05a95491d5 (diff) | |
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)
| -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 \ |