From: Bart Van Assche <bvanassche@acm.org>
Date: Fri, 6 Jun 2008 10:17:26 +0000 (+0000)
Subject: The run-splash2 script now works regardless from which directory it is started in.
X-Git-Tag: svn/VALGRIND_3_4_0~510
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dbfc525689bcb88d7336904dee037dbc8f00726c;p=thirdparty%2Fvalgrind.git

The run-splash2 script now works regardless from which directory it is started in.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8194
---

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})