diff options
author | Rickard Green <[email protected]> | 2017-04-11 19:15:05 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2017-04-11 19:24:33 +0200 |
commit | f0c4d095e0d9be054181785f5c9ca34b52aa2995 (patch) | |
tree | 1e86c860184546febb20f9b5628ba0f984f4c24c /erts/Makefile.in | |
parent | 4da32ec432dd2dee0b19403bed21a836f1638549 (diff) | |
download | otp-f0c4d095e0d9be054181785f5c9ca34b52aa2995.tar.gz otp-f0c4d095e0d9be054181785f5c9ca34b52aa2995.tar.bz2 otp-f0c4d095e0d9be054181785f5c9ca34b52aa2995.zip |
Suggested stack size options for dirty schedulers
Diffstat (limited to 'erts/Makefile.in')
0 files changed, 0 insertions, 0 deletions