From 29a5355a2f15b5653ad2c5b0fbbcb724976ede3f Mon Sep 17 00:00:00 2001 From: Gleb Popov <6yearold@gmail.com> Date: Wed, 11 Nov 2020 13:31:16 +0400 Subject: Do not redefine fgetc_unlocked and fputc_unlocked unconditionally. --- tools/klee-replay/klee-replay.c | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'tools/klee-replay') 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 + +#ifndef fgetc_unlocked #define fgetc_unlocked(x) fgetc (x) +#endif + +#ifndef fputc_unlocked #define fputc_unlocked(x,y) fputc (x,y) +#endif + #else #include #endif -- cgit 1.4.1