QPQ-AG/libsodium
12
0
Fork 0
mirror of https://github.com/jedisct1/libsodium.git synced 2026-08-25 08:37:13 +09:00
Code Issues Packages Projects Releases Wiki Activity

CompCert seems to be fine with S_* macros now

Browse Source
This commit is contained in:
Frank Denis
2017-11-26 12:31:31 +01:00
parent 06a523423a
commit f5a4064646
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/libsodium/randombytes/salsa20/randombytes_salsa20_random.c
+1 -3
View File
@@ -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)