diff options
author | Rickard Green <[email protected]> | 2016-12-22 17:48:51 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2017-01-13 19:11:17 +0100 |
commit | 43eebdd25a0d4a17f076f017cb3ea7da5cfd1808 (patch) | |
tree | 168c1396651f348f17bdd02c1df9e1668b5dc840 /make/otp_default_release_path.mk | |
parent | d0e88c0c69f94625daf9cafa192bac97115e9072 (diff) | |
download | otp-43eebdd25a0d4a17f076f017cb3ea7da5cfd1808.tar.gz otp-43eebdd25a0d4a17f076f017cb3ea7da5cfd1808.tar.bz2 otp-43eebdd25a0d4a17f076f017cb3ea7da5cfd1808.zip |
Switch between scheduler types when multi-scheduling is blocked
Diffstat (limited to 'make/otp_default_release_path.mk')
0 files changed, 0 insertions, 0 deletions