Add target for "make splint". A few files need extra guards to avoid

errors on systems where they would not otherwise be compiled.
No warnings from splint.
This commit is contained in:
Todd C. Miller
2015-05-21 11:07:13 -06:00
parent a40cf3e288
commit 1298ea9107
27 changed files with 119 additions and 0 deletions

View File

@@ -26,6 +26,8 @@
#include <config.h>
#ifdef HAVE_SELINUX
#include <sys/types.h>
#include <sys/wait.h>
#include <stdio.h>
@@ -418,3 +420,5 @@ selinux_execve(const char *path, char *const argv[], char *const envp[],
errno = serrno;
debug_return;
}
#endif /* HAVE_SELINUX */