diff options
author | Björn-Egil Dahlberg <[email protected]> | 2016-10-10 15:37:34 +0200 |
---|---|---|
committer | Björn-Egil Dahlberg <[email protected]> | 2016-10-10 15:37:34 +0200 |
commit | 0b28761f8f4c41107bf94528b044e000fd1da166 (patch) | |
tree | 4e90f02eee3dd1a720b7fe37855476562f958e34 /README.md | |
parent | ae2dc9839aaefa6c50da75917bb82f7a1545d3ad (diff) | |
download | otp-0b28761f8f4c41107bf94528b044e000fd1da166.tar.gz otp-0b28761f8f4c41107bf94528b044e000fd1da166.tar.bz2 otp-0b28761f8f4c41107bf94528b044e000fd1da166.zip |
erts: Fix -profile_boot 'true'|'false' parsing
Strictly speaking 'true' and 'false' arguments is not necessary,
but it should work if supplied.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions