Fixed restoration of the panel divider position.

[psensor.git] / scripts / val_psensor.sh

diff --git a/scripts/val_psensor.sh b/scripts/val_psensor.sh
index 3848fa8..8f632f7 100755 (executable)
--- a/scripts/val_psensor.sh
+++ b/scripts/val_psensor.sh
@@ -1,8 +1,17 @@
-#/bin/sh
+#/bin/bash
+
+SDIR=`dirname $0`
 
 export G_SLICE=always-malloc
 export G_DEBUG=gc-friendly 
 
 DUMP_FILE=psensor_`date +"%Y_%m_%d_%H_%M_%S"`.log
 
-valgrind --tool=memcheck --leak-check=full --leak-resolution=high --num-callers=20 --log-file=$DUMP_FILE `dirname $0`/../src/psensor
\ No newline at end of file
+for i in $SDIR/*supp
+do
+    SUPP="$SUPP --suppressions=$i "
+done
+
+echo starts psensor with options: $*
+
+valgrind -v $SUPP --tool=memcheck --leak-check=full --track-origins=yes --leak-resolution=high --num-callers=20 --log-file=$DUMP_FILE $SDIR/../src/psensor $*
\ No newline at end of file