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 2e78a75ceb52260fe5a86a717570ddb13c996774..8cfb1ce6978494d188a64f4bc0741a5edc2e9d26 100644 (file)
--- 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 e71fb68345cce22dedad6d016c4aeaf56a4a0428..c13412ddff35b91dd47fd6d0745f7a256c1c0223 100755 (executable)
--- 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: