about summary refs log tree commit diff homepage
path: root/runtime/POSIX
diff options
context:
space:
mode:
authorGleb Popov <6yearold@gmail.com>2021-12-26 18:10:49 +0300
committerCristian Cadar <c.cadar@imperial.ac.uk>2022-01-04 08:43:54 +0000
commit5bdbaa464e836ef499b48136edee53fa658e1d68 (patch)
tree504f3d326310f60ed6e5d6d84d6a6fdcdb73669c /runtime/POSIX
parentcbd82eaa692cb2ae503ab842f5997ad3e40ded9b (diff)
downloadklee-5bdbaa464e836ef499b48136edee53fa658e1d68.tar.gz
Use more precise version check for selecting swapoff() signature.
Diffstat (limited to 'runtime/POSIX')
-rw-r--r--runtime/POSIX/FreeBSD.h2
-rw-r--r--runtime/POSIX/stubs.c2
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