diff options
| author | Lukas Larsson <[email protected]> | 2017-03-03 09:49:06 +0100 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2017-03-03 09:49:06 +0100 |
| commit | 7b419c0a38bd4dbc749621535a81d0d34f76ec57 (patch) | |
| tree | 6df74a83b16aba1444ece5fd6db7c6a34ab12fbc /lib/tools | |
| parent | 369ef2ee5586e5cad2f16f0b8f956be011ba1550 (diff) | |
| parent | 736fa5f5e53b76ee9caabdabfe0618c72cb73a02 (diff) | |
| download | otp-7b419c0a38bd4dbc749621535a81d0d34f76ec57.tar.gz otp-7b419c0a38bd4dbc749621535a81d0d34f76ec57.tar.bz2 otp-7b419c0a38bd4dbc749621535a81d0d34f76ec57.zip | |
Merge branch 'lukas/erts/configure_option_to_threadnames/OTP-14232' into maint
* lukas/erts/configure_option_to_threadnames/OTP-14232:
erts: Add configure option for setting threadnames
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions