diff options
| author | Rickard Green <[email protected]> | 2016-02-16 15:18:06 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2016-02-16 15:18:06 +0100 |
| commit | 95eb353a4b7be554851dfcdf319e144f4f7e8bba (patch) | |
| tree | f530ec51c9f7de2a9cf5df63db8192ae32e902bb /lib/tools/Makefile | |
| parent | 140725dbbff97471ec9f18632d0e97c2266f7e0e (diff) | |
| parent | 28c9fe4028281029f5028758fbd0a0fc02a78d4d (diff) | |
| download | otp-95eb353a4b7be554851dfcdf319e144f4f7e8bba.tar.gz otp-95eb353a4b7be554851dfcdf319e144f4f7e8bba.tar.bz2 otp-95eb353a4b7be554851dfcdf319e144f4f7e8bba.zip | |
Merge branch 'rickard/ds-fixes-master'
* rickard/ds-fixes-master:
Fix unique_SUITE for dirty schedulers
Add dirty scheduler process termination test
Ensure that work is done on the correct type of schedulers
Diffstat (limited to 'lib/tools/Makefile')
0 files changed, 0 insertions, 0 deletions