From f5a4064646a1af4787017c116be96ff2af55265c Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Sun, 26 Nov 2017 12:31:31 +0100 Subject: [PATCH] CompCert seems to be fine with S_* macros now --- .../randombytes/salsa20/randombytes_salsa20_random.c | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/libsodium/randombytes/salsa20/randombytes_salsa20_random.c b/src/libsodium/randombytes/salsa20/randombytes_salsa20_random.c index 03b7c86b..fb7f5847 100644 --- a/src/libsodium/randombytes/salsa20/randombytes_salsa20_random.c +++ b/src/libsodium/randombytes/salsa20/randombytes_salsa20_random.c @@ -204,9 +204,7 @@ randombytes_salsa20_random_random_dev_open(void) fd = open(*device, O_RDONLY); if (fd != -1) { if (fstat(fd, &st) == 0 && -# ifdef __COMPCERT__ - 1 -# elif defined(S_ISNAM) +# if defined(S_ISNAM) (S_ISNAM(st.st_mode) || S_ISCHR(st.st_mode)) # else S_ISCHR(st.st_mode)