summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndré Nusser <andre.nusser@googlemail.com>2016-01-30 19:53:04 +0100
committerAndré Nusser <andre.nusser@googlemail.com>2016-01-30 19:53:04 +0100
commit4537f042717e0dba2a917d573309c825eaffd8f3 (patch)
tree011cc603e7e8eb87fde3060a3fd4c8aaeee8ba02
parent1686577eaa7a009d8a62474085a1a22855776719 (diff)
Improve the valgrind test output.
-rwxr-xr-xtools/valgrind_test/valgrind_test25
1 files changed, 23 insertions, 2 deletions
diff --git a/tools/valgrind_test/valgrind_test b/tools/valgrind_test/valgrind_test
index c5efc32..b06342e 100755
--- a/tools/valgrind_test/valgrind_test
+++ b/tools/valgrind_test/valgrind_test
@@ -3,6 +3,8 @@
test_dir=$(dirname $0)
cd $test_dir
+dg_path="../../drumgizmo"
+
memcheck_log_file="valgrind_memcheck.log"
helgrind_log_file="valgrind_helgrind.log"
dg_log_file="drumgizmo.log"
@@ -13,6 +15,21 @@ wav_file_prefix="valgrind_test"
midimap="../../test/kit/midimap.xml"
drumkit="../../test/kit/kit1.xml"
+# check for drumgizmo
+if ! [ -e $dg_path/drumgizmo ]
+then
+ echo "ERROR: The drumgizmo binary doesn't exist. Maybe you forgot to compile?"
+ exit
+fi
+
+# check for valgrind
+if ! command -v valgrind >/dev/null 2>&1
+then
+ echo "ERROR: Cannot find valgrind. Maybe it isn't installed?"
+ exit
+fi
+
+# print nice header
echo "==========================================="
echo "Starting the valgrind test"
echo
@@ -26,8 +43,10 @@ echo "----------------"
echo
# run memcheck and print summary
-valgrind $memcheck_options ../../drumgizmo/./drumgizmo -i midifile -I file=$midi_file,midimap=$midimap -o wavfile -O file=$wav_file_prefix $drumkit > /dev/null
+valgrind $memcheck_options $dg_path/./drumgizmo -i midifile -I file=$midi_file,midimap=$midimap -o wavfile -O file=$wav_file_prefix $drumkit > /dev/null
sed -n '/LEAK SUMMARY:/,$p' $memcheck_log_file
+echo
+echo "=> For details see: $memcheck_log_file"
echo
echo "----------------"
@@ -36,8 +55,10 @@ echo "----------------"
echo
# run helgrind and print summary
-valgrind $helgrind_options ../../drumgizmo/./drumgizmo -i midifile -I file=$midi_file,midimap=$midimap -o wavfile -O file=$wav_file_prefix $drumkit > $dg_log_file
+valgrind $helgrind_options $dg_path/./drumgizmo -i midifile -I file=$midi_file,midimap=$midimap -o wavfile -O file=$wav_file_prefix $drumkit > $dg_log_file
sed -n '/ERROR SUMMARY:/,$p' $helgrind_log_file
+echo
+echo "=> For details see: $helgrind_log_file"
echo