about summary refs log tree commit diff homepage
path: root/tools
diff options
context:
space:
mode:
authorGleb Popov <6yearold@gmail.com>2020-11-11 13:31:16 +0400
committerCristian Cadar <c.cadar@imperial.ac.uk>2020-11-11 11:51:46 +0000
commit29a5355a2f15b5653ad2c5b0fbbcb724976ede3f (patch)
tree89091ab74d0990bb85d9c8024ae310a5b351aa8d /tools
parent0d705e4aef74f22e80ad84112c9e85268b1d2f7d (diff)
downloadklee-29a5355a2f15b5653ad2c5b0fbbcb724976ede3f.tar.gz
Do not redefine fgetc_unlocked and fputc_unlocked unconditionally.
Diffstat (limited to 'tools')
-rw-r--r--tools/klee-replay/klee-replay.c7
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/klee-replay/klee-replay.c b/tools/klee-replay/klee-replay.c
index e1c7b7b2..8af90e98 100644
--- a/tools/klee-replay/klee-replay.c
+++ b/tools/klee-replay/klee-replay.c
@@ -24,8 +24,15 @@
 
 #if defined(__APPLE__) || defined(__FreeBSD__)
 #include <signal.h>
+
+#ifndef fgetc_unlocked
 #define fgetc_unlocked(x) fgetc (x)
+#endif
+
+#ifndef fputc_unlocked
 #define fputc_unlocked(x,y) fputc (x,y)
+#endif
+
 #else
 #include <sys/signal.h>
 #endif