diff options
author | Marcus Arendt <[email protected]> | 2014-11-06 10:30:48 +0100 |
---|---|---|
committer | Marcus Arendt <[email protected]> | 2014-11-06 10:30:48 +0100 |
commit | 6aefe74c0de57e2f5d873b6658396b106aff4f75 (patch) | |
tree | 63d8cf293e2509d3241a6d76dd094cbda24ffc8e /lib/dialyzer/src/dialyzer.hrl | |
parent | ab85b24eb23a9940eb9e0b8b865a8b34c61d7bf2 (diff) | |
parent | 1e5eb4314301e33a105a0ff1f860d9d290ea2618 (diff) | |
download | otp-6aefe74c0de57e2f5d873b6658396b106aff4f75.tar.gz otp-6aefe74c0de57e2f5d873b6658396b106aff4f75.tar.bz2 otp-6aefe74c0de57e2f5d873b6658396b106aff4f75.zip |
Merge branch 'vinoski/fix-smp-disable-with-ds/OTP-12295' into maint
* vinoski/fix-smp-disable-with-ds/OTP-12295:
Fix "-smp disable" for emulator with dirty schedulers
Diffstat (limited to 'lib/dialyzer/src/dialyzer.hrl')
0 files changed, 0 insertions, 0 deletions