projects / openssl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 67e0735) | patch
Makefile: Update but disable 'lint' target, using splint with some quirks
authorDr. David von Oheimb <David.von.Oheimb@siemens.com>
Thu, 24 Jun 2021 19:32:07 +0000 (21:32 +0200)
committerDr. David von Oheimb <dev@ddvo.net>
Fri, 30 Sep 2022 20:25:45 +0000 (22:25 +0200)
commitdfb4efe070804485392354c3062f10a8672d3e2d
treece7c60b0cecc7d6b58b5d31d69bdf8792a747252tree | snapshot
parent67e0735f66971635508d9ab3f07e8b05a95491d5commit | 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)
Configurations/unix-Makefile.tmpl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.