michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(util/stackinfo): bug on Fedora

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@nod1-2008.corp.crtest.com>
This commit is contained in:
Leonardo de Moura 2013-12-09 18:44:14 -08:00
parent e3403492a5
commit fd2a04e9ac
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/stackinfo.cpp
View file

@ -64,7 +64,7 @@ size_t get_stack_size(int main) {
if (getrlimit(RLIMIT_STACK, &curr) != 0) {
throw_get_stack_size_failed();
}
return curr.rlim_max;
return curr.rlim_cur;
} else {
#if defined(LEAN_MULTI_THREAD)
pthread_attr_t attr;