diff --git a/build.sh b/build.sh index 733d46cce31cdb26f2378e1ee0cd20381ce7a105..7b87433eaadddc5939a2f461e2fd36b503df0c25 100755 --- a/build.sh +++ b/build.sh @@ -29,9 +29,10 @@ then echo 1 > $HOME/$5/MPI/version fi - ### Activate MPI ### + ### Activate MPI and binutils ### export PATH="$PATH:$HOME/$5/MPI/bin" + export PATH="/usr/local/binutils/bin/:$PATH" mkdir $HOME/$5 if [ x"$4" == x"full" ]; then