diff options
| author | Patrik Nyblom <[email protected]> | 2011-02-28 11:57:02 +0100 |
|---|---|---|
| committer | Patrik Nyblom <[email protected]> | 2011-02-28 11:57:02 +0100 |
| commit | 5dd7bdee141803099b5a9b4eba18c6f04048ba40 (patch) | |
| tree | 5b32545be6af648de3deda4c562d827e4bff452c /erts/etc | |
| parent | 1b161433719e79d812b61672f1a864886a5aa8d3 (diff) | |
| download | otp-5dd7bdee141803099b5a9b4eba18c6f04048ba40.tar.gz otp-5dd7bdee141803099b5a9b4eba18c6f04048ba40.tar.bz2 otp-5dd7bdee141803099b5a9b4eba18c6f04048ba40.zip | |
Make crypto.c work with valgrind 3.6 and correct cerl.src
Diffstat (limited to 'erts/etc')
| -rw-r--r-- | erts/etc/unix/cerl.src | 6 |
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= |