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 /lib/et/doc/pdf | |
| 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 'lib/et/doc/pdf')
0 files changed, 0 insertions, 0 deletions