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 /include | |
| 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 'include')
0 files changed, 0 insertions, 0 deletions