diff options
Diffstat (limited to 'tools/klee-replay/klee-replay.c')
| -rw-r--r-- | tools/klee-replay/klee-replay.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/tools/klee-replay/klee-replay.c b/tools/klee-replay/klee-replay.c index 6b4fb8f4..150a82e8 100644 --- a/tools/klee-replay/klee-replay.c +++ b/tools/klee-replay/klee-replay.c @@ -22,9 +22,17 @@ #include <errno.h> #include <time.h> #include <unistd.h> -#include <sys/signal.h> + #include <sys/wait.h> +#if defined(__APPLE__) +#include <signal.h> +#define fgetc_unlocked(x) fgetc (x) +#define fputc_unlocked(x,y) fputc (x,y) +#else +#include <sys/signal.h> +#endif + #ifdef HAVE_SYS_CAPABILITY_H #include <sys/capability.h> #endif |