From dbfc525689bcb88d7336904dee037dbc8f00726c Mon Sep 17 00:00:00 2001
From: Bart Van Assche <bvanassche@acm.org>
Date: Fri, 6 Jun 2008 10:17:26 +0000
Subject: [PATCH] The run-splash2 script now works regardless from which
 directory it is started in.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8194
---
 exp-drd/scripts/run-splash2 | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/exp-drd/scripts/run-splash2 b/exp-drd/scripts/run-splash2
index f66f1e7f82..65a6b15fa6 100755
--- a/exp-drd/scripts/run-splash2
+++ b/exp-drd/scripts/run-splash2
@@ -75,8 +75,8 @@ function run_test {
 # Script body
 
 DRD_SCRIPTS_DIR="$(dirname $0)"
-if [ "${DRD_SCRIPTS_DIR}" = "." ]; then
-  DRD_SCRIPTS_DIR="$PWD"
+if [ "${DRD_SCRIPTS_DIR:0:1}" != "/" ]; then
+  DRD_SCRIPTS_DIR="$PWD/$DRD_SCRIPTS_DIR"
 fi
 
 SPLASH2="${DRD_SCRIPTS_DIR}/../splash2"
@@ -110,6 +110,7 @@ fi
 # Water-sp                        49    48     ?    49      183      34
 #
 # Hardware: dual-core Intel Xeon 5130, 1.995 MHz, 4 MB L2 cache, 4 GB RAM.
+# Software: Ubuntu 7.10 server, 64-bit (includes gcc 4.1.3).
 
 cache_size=$(get_cache_size)
 log2_cache_size=$(log2 ${cache_size})
-- 
2.47.2