diff options
| author | Rickard Green <[email protected]> | 2013-05-16 17:43:19 +0200 |
|---|---|---|
| committer | Rickard Green <[email protected]> | 2013-05-16 17:43:19 +0200 |
| commit | 1932b1f4a9f4a8d083f9047b3ba1637dfea1c6d9 (patch) | |
| tree | 91dc0be43abc7b533f4850fa21b1ec1f9e9e5bb4 /erts/etc/unix | |
| parent | 1ccd23bb49fddec2ac21859e518a1568cd494b93 (diff) | |
| parent | e550cd4842f4bd9d2555fceb47ec3064e0037372 (diff) | |
| download | otp-1932b1f4a9f4a8d083f9047b3ba1637dfea1c6d9.tar.gz otp-1932b1f4a9f4a8d083f9047b3ba1637dfea1c6d9.tar.bz2 otp-1932b1f4a9f4a8d083f9047b3ba1637dfea1c6d9.zip | |
Merge branch 'rickard/frmptr' into maint
* rickard/frmptr:
Add 'frmptr' emulator type
Conflicts:
erts/preloaded/ebin/erlang.beam
Diffstat (limited to 'erts/etc/unix')
| -rw-r--r-- | erts/etc/unix/cerl.src | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/erts/etc/unix/cerl.src b/erts/etc/unix/cerl.src index cc7d77fd9a..f99059cb72 100644 --- a/erts/etc/unix/cerl.src +++ b/erts/etc/unix/cerl.src @@ -171,6 +171,11 @@ while [ $# -gt 0 ]; do cargs="$cargs -debug" TYPE=.debug ;; + "-frmptr") + shift + cargs="$cargs -frmptr" + TYPE=.frmptr + ;; "-gdb") shift GDB=gdb |