Commit 63d67b5f authored by incardon's avatar incardon

General fix fir numeric

parent 0bab8118
......@@ -6,7 +6,7 @@ echo "Directory: $1"
echo "Machine: $2"
echo "Branch name: $5"
echo "AHHHHHHHHHH: $(which mpirun)"
echo "AHHHHHHHHHH: $PATH"
if [ x"$5" == x"" ]; then
branch=$(git ls-remote --heads origin | grep $(git rev-parse HEAD) | cut -d / -f 3)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment