diff options
| author | Lukas Larsson <[email protected]> | 2016-10-06 17:01:09 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2017-02-22 15:30:00 +0100 |
| commit | 736fa5f5e53b76ee9caabdabfe0618c72cb73a02 (patch) | |
| tree | f1c8e1932abb6cce0e15262d7ff7473fccd2099a /lib/tools | |
| parent | 8f0cfd160505e5ac6c100db7d1294c2e63dc0cbb (diff) | |
| download | otp-736fa5f5e53b76ee9caabdabfe0618c72cb73a02.tar.gz otp-736fa5f5e53b76ee9caabdabfe0618c72cb73a02.tar.bz2 otp-736fa5f5e53b76ee9caabdabfe0618c72cb73a02.zip | |
erts: Add configure option for setting threadnames
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions