diff options
author | Rickard Green <[email protected]> | 2019-07-04 17:40:16 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2019-07-08 11:10:23 +0200 |
commit | f9648e8f4aab57411c6002815b1fde43185b29c2 (patch) | |
tree | ba78227972319aa2b5e3f3fa0f1c4224f52608cc /system/doc/html | |
parent | 2c49062e00375e90b3076bf707412303ed73e457 (diff) | |
download | otp-f9648e8f4aab57411c6002815b1fde43185b29c2.tar.gz otp-f9648e8f4aab57411c6002815b1fde43185b29c2.tar.bz2 otp-f9648e8f4aab57411c6002815b1fde43185b29c2.zip |
Fix unstable test dump_SUITE:signal_abort
Sometimes processes have not had the time to spread
from one scheduler. Force spread by using the undocumented
'scheduler' option.
Diffstat (limited to 'system/doc/html')
0 files changed, 0 insertions, 0 deletions