Adjust the default tracedump path.

author José Fonseca <jose.r.fonseca@gmail.com>

Mon, 11 Jul 2011 00:03:50 +0000 (01:03 +0100)

committer José Fonseca <jose.r.fonseca@gmail.com>

Fri, 15 Jul 2011 08:22:59 +0000 (09:22 +0100)
author José Fonseca <jose.r.fonseca@gmail.com>
Mon, 11 Jul 2011 00:03:50 +0000 (01:03 +0100)
committer José Fonseca <jose.r.fonseca@gmail.com>
Fri, 15 Jul 2011 08:22:59 +0000 (09:22 +0100)
diff --git a/scripts/tracediff.sh b/scripts/tracediff.sh

index 01f383403c7af1999e820d1bb15037522d8cc6a2..77d844873a6d4cb6f649f1ea7da61be9b2089189 100755 (executable)
--- 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
author	José Fonseca <jose.r.fonseca@gmail.com>
	Mon, 11 Jul 2011 00:03:50 +0000 (01:03 +0100)
committer	José Fonseca <jose.r.fonseca@gmail.com>
	Fri, 15 Jul 2011 08:22:59 +0000 (09:22 +0100)