diff options
| author | Björn Gustavsson <bjorn@erlang.org> | 2011-11-24 10:40:49 +0100 |
|---|---|---|
| committer | Björn Gustavsson <bjorn@erlang.org> | 2011-11-24 10:40:49 +0100 |
| commit | fedd77f437b5b248d7bfdd7c8511bb1e2a15094f (patch) | |
| tree | 40502a5bd89847af41ddd20d13e0391dbec81bcb /lib/compiler/src/compile.erl | |
| parent | c9419dff4e7601bdd3a0066c2020bb4ee7b201e0 (diff) | |
| download | erlang-fedd77f437b5b248d7bfdd7c8511bb1e2a15094f.tar.gz | |
Teach the compiler the 'r14' option
Diffstat (limited to 'lib/compiler/src/compile.erl')
| -rw-r--r-- | lib/compiler/src/compile.erl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/compiler/src/compile.erl b/lib/compiler/src/compile.erl index bfa7c6cedd..b4aa8f04bf 100644 --- a/lib/compiler/src/compile.erl +++ b/lib/compiler/src/compile.erl @@ -175,6 +175,8 @@ expand_opt(r12, Os) -> [no_recv_opt,no_line_info|Os]; expand_opt(r13, Os) -> [no_recv_opt,no_line_info|Os]; +expand_opt(r14, Os) -> + [no_line_info|Os]; expand_opt({debug_info_key,_}=O, Os) -> [encrypt_debug_info,O|Os]; expand_opt(no_float_opt, Os) -> |