aboutsummaryrefslogtreecommitdiffstats
path: root/erts/etc/unix
diff options
context:
space:
mode:
authorBjörn-Egil Dahlberg <[email protected]>2014-09-16 15:22:15 +0200
committerBjörn-Egil Dahlberg <[email protected]>2014-09-17 15:21:26 +0200
commit9c9878d6d4e99aba195177baef66067da0a2b797 (patch)
tree906a39b968ab6401551b8ea6adad837f034848a1 /erts/etc/unix
parentfcd39487c552cd18c49e23137e5c3808d38e3a0a (diff)
downloadotp-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.src6
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