diff options
author | Björn-Egil Dahlberg <[email protected]> | 2014-09-16 15:22:15 +0200 |
---|---|---|
committer | Björn-Egil Dahlberg <[email protected]> | 2014-09-17 15:21:26 +0200 |
commit | 9c9878d6d4e99aba195177baef66067da0a2b797 (patch) | |
tree | 906a39b968ab6401551b8ea6adad837f034848a1 /erts/etc/unix | |
parent | fcd39487c552cd18c49e23137e5c3808d38e3a0a (diff) | |
download | otp-9c9878d6d4e99aba195177baef66067da0a2b797.tar.gz otp-9c9878d6d4e99aba195177baef66067da0a2b797.tar.bz2 otp-9c9878d6d4e99aba195177baef66067da0a2b797.zip |
erts: Add icount build type for opcode counter
Enables ERTS_OPCODE_COUNTER_SUPPORT.
Diffstat (limited to 'erts/etc/unix')
-rw-r--r-- | erts/etc/unix/cerl.src | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/erts/etc/unix/cerl.src b/erts/etc/unix/cerl.src index 78fefbea55..aa51eabfc5 100644 --- a/erts/etc/unix/cerl.src +++ b/erts/etc/unix/cerl.src @@ -43,6 +43,7 @@ # -gcov Run emulator compiled for gcov # -valgrind Run emulator compiled for valgrind # -lcnt Run emulator compiled for lock counting +# -icount Run emulator compiled for instruction counting # -nox Unset the DISPLAY variable to disable us of X Windows # # FIXME For GDB you can also set the break point using "-break FUNCTION". @@ -180,6 +181,11 @@ while [ $# -gt 0 ]; do cargs="$cargs -frmptr" TYPE=.frmptr ;; + "-icount") + shift + cargs="$cargs -icount" + TYPE=.icount + ;; "-dump") shift GDB=dump |