diff options
| author | Gleb Popov <6yearold@gmail.com> | 2019-03-30 16:23:58 +0400 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-04-02 09:12:56 +0100 |
| commit | 3df8ee7eec9ae508bf5a145535b53bee64569e84 (patch) | |
| tree | c28f3d8270ef203798cf2495c555939f49d90ad6 | |
| parent | dc750bb2a807a4807a2918fedce756981ea6451c (diff) | |
| download | klee-3df8ee7eec9ae508bf5a145535b53bee64569e84.tar.gz | |
Fix build of Executor.cpp on FreeBSD.
| -rw-r--r-- | lib/Core/Executor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index d14fae21..845fa8ff 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -4070,7 +4070,7 @@ void Executor::prepareForEarlyExit() { /// Returns the errno location in memory int *Executor::getErrnoLocation(const ExecutionState &state) const { -#ifndef __APPLE__ +#if !defined(__APPLE__) && !defined(__FreeBSD__) /* From /usr/include/errno.h: it [errno] is a per-thread variable. */ return __errno_location(); #else |