From 5bdbaa464e836ef499b48136edee53fa658e1d68 Mon Sep 17 00:00:00 2001 From: Gleb Popov <6yearold@gmail.com> Date: Sun, 26 Dec 2021 18:10:49 +0300 Subject: Use more precise version check for selecting swapoff() signature. --- runtime/POSIX/FreeBSD.h | 2 ++ runtime/POSIX/stubs.c | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) (limited to 'runtime') 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 + // 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 -- cgit 1.4.1