From: Bart Van Assche <bvanassche@acm.org>
Date: Wed, 18 Jun 2008 08:26:45 +0000 (+0000)
Subject: Renamed compile-gcc into download-and-build-gcc.
X-Git-Tag: svn/VALGRIND_3_4_0~461
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=20f13cbcc997d430103294e38640cc24fcdac7fa;p=thirdparty%2Fvalgrind.git

Renamed compile-gcc into download-and-build-gcc.

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

diff --git a/exp-drd/docs/README.txt b/exp-drd/docs/README.txt
index 2e78a75ceb..8cfb1ce697 100644
--- a/exp-drd/docs/README.txt
+++ b/exp-drd/docs/README.txt
@@ -354,7 +354,7 @@ function my-gcc { export CC=$HOME/gcc-4.3.0/bin/gcc LD_LIBRARY_PATH=$HOME/gcc-4.
 EOF
 
 For an example of how to recompile gcc, see also the script
-exp-drd/scripts/compile-gcc.
+exp-drd/scripts/download-and-build-gcc.
 
 
 Future DRD Versions
diff --git a/exp-drd/scripts/compile-gcc b/exp-drd/scripts/download-and-build-gcc
similarity index 99%
rename from exp-drd/scripts/compile-gcc
rename to exp-drd/scripts/download-and-build-gcc
index e71fb68345..c13412ddff 100755
--- a/exp-drd/scripts/compile-gcc
+++ b/exp-drd/scripts/download-and-build-gcc
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # Make sure that libgmp and libmpfr are installed before you run this script.
 # On Debian systems, e.g. Ubuntu, you can install these libraries as follows: