diff options
| author | Erlang/OTP <[email protected]> | 2017-06-02 10:38:13 +0200 |
|---|---|---|
| committer | Erlang/OTP <[email protected]> | 2017-06-02 10:38:13 +0200 |
| commit | 13b3ff0f9b45e61c071ddbec2ce45345fddecefe (patch) | |
| tree | f73184f9afc15e6b07a3b6745a1f43063dfba200 /erts/emulator/Makefile.in | |
| parent | f954cdea9b67369185094a3aea7cb611dd680b3c (diff) | |
| parent | 81b62880e3768dcd161f107f766f3e6e89d59446 (diff) | |
| download | otp-13b3ff0f9b45e61c071ddbec2ce45345fddecefe.tar.gz otp-13b3ff0f9b45e61c071ddbec2ce45345fddecefe.tar.bz2 otp-13b3ff0f9b45e61c071ddbec2ce45345fddecefe.zip | |
Merge branch 'lukas/erts/restore-sigterm-default/OTP-14418' into maint-19
* lukas/erts/restore-sigterm-default/OTP-14418:
erts: Add undocumented option to do default SIGTERM
Diffstat (limited to 'erts/emulator/Makefile.in')
0 files changed, 0 insertions, 0 deletions