diff options
Diffstat (limited to 'contrib/gcc_build')
| -rwxr-xr-x | contrib/gcc_build | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/contrib/gcc_build b/contrib/gcc_build index a5bf8649c92..27d7f007b32 100755 --- a/contrib/gcc_build +++ b/contrib/gcc_build @@ -45,7 +45,7 @@ # exit code. error() { - echo "build-gcc.sh: error: $1" + echo "gcc_build: error: $1" exit 1 } @@ -53,7 +53,7 @@ error() { usage() { cat <<EOF -build-gcc.sh [-c configure_options] +gcc_build [-c configure_options] [-d destination_directory] [-m make_options] [-u username] @@ -265,7 +265,7 @@ fi # Remove any old logfiles. rm -f ${LOGFILE} # Tell the user where to find the logfile. -echo "build-gcc.sh: The logfile for this run is ${LOGFILE}" +echo "gcc_build: The logfile for this run is ${LOGFILE}" # Checkout the tree. if [ ${CHECKOUT} -ne 0 ]; then |