From 5fd5804ba92f1b25f26d258f64ef56e22c28cc66 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sun, 16 Jul 2017 12:08:46 +0200
Subject: [PATCH] Activating bin utils
---
build.sh | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/build.sh b/build.sh
index 733d46cc..7b87433e 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
--
GitLab