diff options
| author | Björn Gustavsson <[email protected]> | 2017-05-12 13:54:32 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-05-16 10:19:37 +0200 |
| commit | 4b216f70be3403bb7c102e7ac1a91b1ee4805c33 (patch) | |
| tree | 9343836986b792c97e98cb281fce6cf03c6f39b4 /plt/.gitignore | |
| parent | 773c4d4f0416f25e3c0c6939f8d0871dc4486bab (diff) | |
| download | otp-4b216f70be3403bb7c102e7ac1a91b1ee4805c33.tar.gz otp-4b216f70be3403bb7c102e7ac1a91b1ee4805c33.tar.bz2 otp-4b216f70be3403bb7c102e7ac1a91b1ee4805c33.zip | |
Let --enable-lock-counter build an additional emulator
"./configure --enable-lock-counter" would modify the behavior
of the default emulator (usually SMP).
To make lock counting more accessible, change --enable-lock-counter
to build an additional emulator in the same way as:
(cd erts/emulator && make lcnt)
(The next commit will make it easier to start the built lock-counter
emulator.)
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions