From 3f7ea772630ed0b8bc20807f156bef83656c1f12 Mon Sep 17 00:00:00 2001
From: Bart Van Assche <bvanassche@acm.org>
Date: Tue, 17 Jun 2008 19:19:16 +0000
Subject: [PATCH] Renamed download-and-build-splash2 to
 download-and-build-splash2.in.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8246
---
 configure.in                                                   | 3 ++-
 ...ownload-and-build-splash2 => download-and-build-splash2.in} | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)
 rename exp-drd/scripts/{download-and-build-splash2 => download-and-build-splash2.in} (99%)

diff --git a/configure.in b/configure.in
index 1bdbde754e..a6a53a891f 100644
--- a/configure.in
+++ b/configure.in
@@ -1393,8 +1393,9 @@ AC_OUTPUT(
    exp-omega/docs/Makefile
    exp-drd/Makefile
    exp-drd/docs/Makefile
+   exp-drd/scripts/download-and-build-splash2
    exp-drd/tests/Makefile
-) 
+)
 
 cat<<EOF
 
diff --git a/exp-drd/scripts/download-and-build-splash2 b/exp-drd/scripts/download-and-build-splash2.in
similarity index 99%
rename from exp-drd/scripts/download-and-build-splash2
rename to exp-drd/scripts/download-and-build-splash2.in
index 104595c71f..b419e92573 100755
--- a/exp-drd/scripts/download-and-build-splash2
+++ b/exp-drd/scripts/download-and-build-splash2.in
@@ -82,7 +82,8 @@ diff -ru orig/splash2/codes/Makefile.config splash2/codes/Makefile.config
 --- orig/splash2/codes/Makefile.config	2008-05-25 10:38:52.000000000 +0200
 +++ splash2/codes/Makefile.config	2008-05-25 10:14:25.000000000 +0200
 @@ -1,5 +1,5 @@
- CC := gcc
+-CC := gcc
++CC := @CC@
 -CFLAGS := -O3 -pthread -D_POSIX_C_SOURCE=200112
 +CFLAGS := -g3 -O3 -pthread -D_POSIX_C_SOURCE=200112
  #CFLAGS := -g3 -pthread -D_POSIX_C_SOURCE=200112
-- 
2.47.2