diff --git a/build.sh b/build.sh index ef301b855db10f3d0a76cf9d9c039a8d280f91ae..2b17d30b9ab642b6c468300d6d44603d014c1470 100755 --- a/build.sh +++ b/build.sh @@ -6,7 +6,6 @@ echo "Directory: $1" echo "Machine: $2" echo "Branch name: $5" -echo "AHHHHHHHHHH: $PATH" if [ x"$5" == x"" ]; then branch=$(git ls-remote --heads origin | grep $(git rev-parse HEAD) | cut -d / -f 3) @@ -102,8 +101,6 @@ then else echo "Compiling general" - echo "AHHHHHHHHHH: $(which mpirun)" - source ~/.bashrc mkdir $HOME/$branch