diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2013-08-08 16:31:08 -0400 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2013-08-08 16:31:08 -0400 |
commit | d90e2b42211ead2a38afd5590e2937992312795e (patch) | |
tree | 6abc6aa6571c1206a822e3ef4036458791cbaeaf /gtk2_ardour/arval | |
parent | ea7d89dd519caa7a45ad7a0e99bad14445513f3b (diff) |
rationalize (a bit) engine start/stop/restart so that it is possible to start up, disconnect from JACK and then reconnect
Diffstat (limited to 'gtk2_ardour/arval')
-rwxr-xr-x | gtk2_ardour/arval | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/arval b/gtk2_ardour/arval index 6503bc1ede..2209dcb110 100755 --- a/gtk2_ardour/arval +++ b/gtk2_ardour/arval @@ -10,5 +10,6 @@ LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH export ARDOUR_RUNNING_UNDER_VALGRIND=TRUE exec valgrind --tool=memcheck \ $VALGRIND_OPTIONS \ + --track-origins=yes \ --suppressions=`dirname "$0"`/../tools/valgrind.supp \ $TOP/$EXECUTABLE --novst "$@" |