diff options
author | Lukas Larsson <[email protected]> | 2019-04-12 11:48:22 +0200 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2019-04-18 14:13:35 +0200 |
commit | 94f7912c4a12a2a1ab325f62daebfe1b31fe101f (patch) | |
tree | 39447378d41bd3dbe5bb9ef5d11496ac0863fbd7 /Makefile.in | |
parent | 8cba01c623eeb962298750d60bf22f6d6f5538dc (diff) | |
download | otp-94f7912c4a12a2a1ab325f62daebfe1b31fe101f.tar.gz otp-94f7912c4a12a2a1ab325f62daebfe1b31fe101f.tar.bz2 otp-94f7912c4a12a2a1ab325f62daebfe1b31fe101f.zip |
erts: Make dump_SUITE:free_dump not dump via rpc
Doing the dump via rpc can introduce all kins of strange
timing issiues. So instead we dump 5ms after the exit has
been started.
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions