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 /system | |
| 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 'system')
0 files changed, 0 insertions, 0 deletions