diff options
author | Sverker Eriksson <[email protected]> | 2019-03-25 17:49:10 +0100 |
---|---|---|
committer | Sverker Eriksson <[email protected]> | 2019-03-25 18:03:35 +0100 |
commit | 2615586202df20dbd1ee05b0feef162ad31d6db0 (patch) | |
tree | 98d84427a8ce1e807e0758f65c4a21f9c79b88fb /scripts/pre-push | |
parent | b2b35eb42805aa6182b486acd5e2963c3d42b01a (diff) | |
download | otp-2615586202df20dbd1ee05b0feef162ad31d6db0.tar.gz otp-2615586202df20dbd1ee05b0feef162ad31d6db0.tar.bz2 otp-2615586202df20dbd1ee05b0feef162ad31d6db0.zip |
erts: Fix erts_debug:set_internal_state(reds_left)
to avoid failed ERTS_DBG_CHK_REDS by clearing virtual_reds.
Diffstat (limited to 'scripts/pre-push')
0 files changed, 0 insertions, 0 deletions