diff options
| author | Rickard Green <[email protected]> | 2016-02-29 11:26:17 +0100 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2016-02-29 11:26:17 +0100 |
| commit | 156aea75186fe9de64b87c2c6919db9abf4a0d60 (patch) | |
| tree | 1ac6cb5c7fe78a3e31e30d567b4296a225e3b7d8 /lib/tools | |
| parent | 3a09efb729d8fdd3c953ac85e589c8c5fcb67782 (diff) | |
| parent | 26dab380834cd38fee153f240e12a9c571d29c71 (diff) | |
| download | otp-156aea75186fe9de64b87c2c6919db9abf4a0d60.tar.gz otp-156aea75186fe9de64b87c2c6919db9abf4a0d60.tar.bz2 otp-156aea75186fe9de64b87c2c6919db9abf4a0d60.zip | |
Merge branch 'rickard/fix-non-thr-emu'
* rickard/fix-non-thr-emu:
Fix build wihtout thread support
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions