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

fix(util/stackinfo): saving max stack size on OSX

Browse source 
see issue #628
This commit is contained in:
Leonardo de Moura 2015-05-27 08:52:39 -07:00
parent ea43f3ea80
commit 4867dba175
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

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