diff options
author | Sverker Eriksson <[email protected]> | 2016-04-13 15:20:53 +0200 |
---|---|---|
committer | Sverker Eriksson <[email protected]> | 2016-04-13 15:26:42 +0200 |
commit | 588ed7d503f7f607ec91d102f16573ee5d64ea7b (patch) | |
tree | 6571bd37fff2c40a2d7b5bdd7a35272fc54bb5b2 /erts/man/.gitignore | |
parent | 97cdb6bd87f38b06ee477dbb17d4d2f7854b21e1 (diff) | |
download | otp-588ed7d503f7f607ec91d102f16573ee5d64ea7b.tar.gz otp-588ed7d503f7f607ec91d102f16573ee5d64ea7b.tar.bz2 otp-588ed7d503f7f607ec91d102f16573ee5d64ea7b.zip |
erts: Improve port_SUITE:bad_env
It's not just ok to throw badarg, it MUST throw badarg.
Diffstat (limited to 'erts/man/.gitignore')
0 files changed, 0 insertions, 0 deletions