diff options
| author | Gleb Popov <6yearold@gmail.com> | 2021-12-26 18:10:49 +0300 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-01-04 08:43:54 +0000 |
| commit | 5bdbaa464e836ef499b48136edee53fa658e1d68 (patch) | |
| tree | 504f3d326310f60ed6e5d6d84d6a6fdcdb73669c /runtime | |
| parent | cbd82eaa692cb2ae503ab842f5997ad3e40ded9b (diff) | |
| download | klee-5bdbaa464e836ef499b48136edee53fa658e1d68.tar.gz | |
Use more precise version check for selecting swapoff() signature.
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 |