aboutsummaryrefslogtreecommitdiffstats
path: root/erts
diff options
context:
space:
mode:
Diffstat (limited to 'erts')
-rw-r--r--erts/etc/unix/cerl.src6
1 files changed, 5 insertions, 1 deletions
diff --git a/erts/etc/unix/cerl.src b/erts/etc/unix/cerl.src
index b873f04dd3..69840daf69 100644
--- a/erts/etc/unix/cerl.src
+++ b/erts/etc/unix/cerl.src
@@ -238,7 +238,11 @@ if [ "x$GDB" = "x" ]; then
else
export VALGRIND_LOG_XML
valgrind_xml="--xml=yes"
- log_file_prefix="--xml-file="
+ if [ $valmajor -gt 2 -a $valminor -gt 4 ]; then
+ log_file_prefix="--xml-file="
+ else
+ log_file_prefix="--log-file="
+ fi
fi
if [ "x$VALGRIND_LOG_DIR" = "x" ]; then
valgrind_log=