From 8da53f9b1dfef76f3caf828511684c29dc9e5e8e Mon Sep 17 00:00:00 2001
From: Mihail Groza <unlupdestepa@gmail.com>
Date: Wed, 15 Mar 2017 20:26:29 +0000
Subject: [PATCH] Fix self-check due to previous commit

Previous commit introduced headers skipping when their respective
library is loaded. This managed to uncover a bug (introduced by me) in
Splint's own code - fixed it.
---
 src/osd.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/osd.c b/src/osd.c
index 466b3f7..96ff0e9 100644
--- a/src/osd.c
+++ b/src/osd.c
@@ -143,7 +143,7 @@ extern /*@external@*/ int unlink (const char *) /*@modifies fileSystem@*/ ;
      defined (S_IROTH) && defined (S_IWOTH)
 # define S_IRWALL (S_IRUSR | S_IWUSR | S_IRGRP | S_IWGRP | S_IROTH | S_IWOTH)
 # else
-# define 0666
+# define S_IRWALL 0666
 # endif
 
 #ifndef O_RDONLY
-- 
2.11.4.GIT