diff options
author | Rickard Green <[email protected]> | 2015-06-15 16:37:58 +0200 |
---|---|---|
committer | Rickard Green <[email protected]> | 2015-06-15 16:37:58 +0200 |
commit | a309ead90430ad563d4e036aa8aeee023ddbe075 (patch) | |
tree | a796d7f559a9255ef0390615992dd358dc8aa2cc /erts/etc/common | |
parent | 0476714af7f673de941225ed0daee1447935f248 (diff) | |
parent | bfd575ddf985408494d4d3d4933eda2c9ee18326 (diff) | |
download | otp-a309ead90430ad563d4e036aa8aeee023ddbe075.tar.gz otp-a309ead90430ad563d4e036aa8aeee023ddbe075.tar.bz2 otp-a309ead90430ad563d4e036aa8aeee023ddbe075.zip |
Merge branch 'rickard/+zebwt/OTP-12830'
* rickard/+zebwt/OTP-12830:
ETS busy wait option
Diffstat (limited to 'erts/etc/common')
-rw-r--r-- | erts/etc/common/erlexec.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/erts/etc/common/erlexec.c b/erts/etc/common/erlexec.c index ba379f1da5..50f4f0e8a6 100644 --- a/erts/etc/common/erlexec.c +++ b/erts/etc/common/erlexec.c @@ -158,6 +158,7 @@ static char *plusr_val_switches[] = { static char *plusz_val_switches[] = { "dbbl", "dntgc", + "ebwt", NULL }; |