diff options
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/POSIX/FreeBSD.h | 2 | ||||
| -rw-r--r-- | runtime/POSIX/stubs.c | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/runtime/POSIX/FreeBSD.h b/runtime/POSIX/FreeBSD.h index d4e1379e..b88d16e6 100644 --- a/runtime/POSIX/FreeBSD.h +++ b/runtime/POSIX/FreeBSD.h @@ -1,6 +1,8 @@ #ifndef KLEE_FREEBSD_H #define KLEE_FREEBSD_H +#include <sys/param.h> + // termios maps #define TCGETS TIOCGETA #define TCSETS TIOCSETA diff --git a/runtime/POSIX/stubs.c b/runtime/POSIX/stubs.c index 5d27ac43..668d8cf2 100644 --- a/runtime/POSIX/stubs.c +++ b/runtime/POSIX/stubs.c @@ -432,7 +432,7 @@ int swapon(const char *path) { #ifndef __FreeBSD__ int swapoff(const char *path) __attribute__((weak)); int swapoff(const char *path) { -#elif __FreeBSD__ < 13 +#elif __FreeBSD_version < 1300523 int swapoff(const char *path) __attribute__((weak)); int swapoff(const char *path) { #else |