diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-10-24 12:50:53 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-10-24 12:50:53 +0000 |
| commit | 14dfd12009049ccc665a8590bbef04837e1127f9 (patch) | |
| tree | ab2876fa299eb401fbdf70310918adc168779c51 /runtime | |
| parent | 201df554ef415bd28977a4a9aaf1943ef7bd1a42 (diff) | |
| download | klee-14dfd12009049ccc665a8590bbef04837e1127f9.tar.gz | |
Patch by Dan Liew: " Added "sys/resource.h" include to POSIX stub
methods. This fixes build problems (at least on my machine glibc 2.16.0-2) The __priority_which_t and __rlimit_resource_t data types which functions set_priority(), setrlimit() and setrlimit64() need are not defined in any of the headers the runtime/POSIX/stubs.c includes. It appears in the past the "sys/resource.h" was included by "sys/wait.h" but in the recent version of glibc I am using it is not. So to fix this I've added the include." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166554 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/POSIX/stubs.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/POSIX/stubs.c b/runtime/POSIX/stubs.c index cf64f26b..3a9d380c 100644 --- a/runtime/POSIX/stubs.c +++ b/runtime/POSIX/stubs.c @@ -19,6 +19,7 @@ #include <stdlib.h> #include <sys/mman.h> #include <sys/stat.h> +#include <sys/resource.h> #include <sys/times.h> #include <sys/types.h> #include <sys/wait.h> |