From 14dfd12009049ccc665a8590bbef04837e1127f9 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Wed, 24 Oct 2012 12:50:53 +0000 Subject: 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 --- runtime/POSIX/stubs.c | 1 + 1 file changed, 1 insertion(+) (limited to 'runtime') 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 #include #include +#include #include #include #include -- cgit 1.4.1