diff options
author | Sverker Eriksson <[email protected]> | 2018-06-08 15:26:48 +0200 |
---|---|---|
committer | Sverker Eriksson <[email protected]> | 2018-06-08 15:26:48 +0200 |
commit | 2134c4fa0b2eb7d227295aed166d344dcf022d21 (patch) | |
tree | 9398a8861cf08c1e011841b56de7eccf19c37800 /erts/internal_doc/.gitignore | |
parent | cefb0d82743d908af1d7933feb8f2ea59c6a0ec3 (diff) | |
download | otp-2134c4fa0b2eb7d227295aed166d344dcf022d21.tar.gz otp-2134c4fa0b2eb7d227295aed166d344dcf022d21.tar.bz2 otp-2134c4fa0b2eb7d227295aed166d344dcf022d21.zip |
erts: Remove "-pz $PRELOADED" arguments added by cerl
It caused problems when starting with -rr and other arguments.
Not sure what purpose it served
as -pz $PRELOADED is not passed by default by "erl".
Diffstat (limited to 'erts/internal_doc/.gitignore')
0 files changed, 0 insertions, 0 deletions