diff options
| -rwxr-xr-x | gtk2_ardour/arrr | 14 | ||||
| -rwxr-xr-x | gtk2_ardour/arrr-replay | 10 |
2 files changed, 24 insertions, 0 deletions
diff --git a/gtk2_ardour/arrr b/gtk2_ardour/arrr new file mode 100755 index 0000000000..74861af7da --- /dev/null +++ b/gtk2_ardour/arrr @@ -0,0 +1,14 @@ +#!/bin/sh +# echo 1 | sudo tee /proc/sys/kernel/perf_event_paranoid + +TOP=`dirname "$0"`/.. +. $TOP/build/gtk2_ardour/ardev_common_waf.sh +export ARDOUR_INSIDE_GDB=1 +if test -z "`which rr`"; then + echo "rr was not found." + exit +fi +exec rr record $TOP/$EXECUTABLE "$@" + +# trace is in ~/.local/share/rr/latest-trace/ +# ./arrr-replay diff --git a/gtk2_ardour/arrr-replay b/gtk2_ardour/arrr-replay new file mode 100755 index 0000000000..9a1e28fe53 --- /dev/null +++ b/gtk2_ardour/arrr-replay @@ -0,0 +1,10 @@ +#!/bin/sh + +TOP=`dirname "$0"`/.. +. $TOP/build/gtk2_ardour/ardev_common_waf.sh +export ARDOUR_INSIDE_GDB=1 +if test -z "`which rr`"; then + echo "rr was not found." + exit +fi +exec rr replay "$@" |