From 234d0bcb5e59b7d11697beb241fb1e13270b1807 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jos=C3=A9=20Fonseca?= Date: Mon, 11 Jul 2011 01:03:50 +0100 Subject: [PATCH 1/1] Adjust the default tracedump path. --- scripts/tracediff.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/tracediff.sh b/scripts/tracediff.sh index 01f3834..77d8448 100755 --- a/scripts/tracediff.sh +++ b/scripts/tracediff.sh @@ -26,7 +26,7 @@ set -e -TRACEDUMP=${TRACEDUMP:-`dirname "$0"`/tracedump} +TRACEDUMP=${TRACEDUMP:-`dirname "$0"`/../tracedump} $TRACEDUMP -- 2.43.0