diff options
-rwxr-xr-x | gtk2_ardour/ardbg | 2 | ||||
-rwxr-xr-x | gtk2_ardour/ardev | 2 | ||||
-rwxr-xr-x | gtk2_ardour/arval | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/gtk2_ardour/ardbg b/gtk2_ardour/ardbg index 115db85f59..933b5ba720 100755 --- a/gtk2_ardour/ardbg +++ b/gtk2_ardour/ardbg @@ -1,4 +1,4 @@ #!/bin/sh dir=`dirname "$0"` -source $dir/ardev_common.sh +. $dir/ardev_common.sh exec gdb gtk2_ardour/ardour.bin $* diff --git a/gtk2_ardour/ardev b/gtk2_ardour/ardev index d3d44e55fe..04719908b4 100755 --- a/gtk2_ardour/ardev +++ b/gtk2_ardour/ardev @@ -1,3 +1,3 @@ #!/bin/sh -source `dirname "$0"`/ardev_common.sh +. `dirname "$0"`/ardev_common.sh exec gtk2_ardour/ardour.bin --novst $* diff --git a/gtk2_ardour/arval b/gtk2_ardour/arval index cea6299d05..d427ae62e1 100755 --- a/gtk2_ardour/arval +++ b/gtk2_ardour/arval @@ -1,3 +1,3 @@ #!/bin/sh -source ardev_common.sh +. ardev_common.sh exec valgrind --num-callers=50 --tool=memcheck gtk2_ardour/ardour.bin --novst $* |