From a0466487a3c6a1a8c8e29f02afd4db6beb9186ea Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Fri, 13 Apr 2018 15:16:13 +0200
Subject: [PATCH] Fixing build.sh
---
build.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.sh b/build.sh
index 935f33b..2c5add3 100755
--- a/build.sh
+++ b/build.sh
@@ -1,7 +1,7 @@
#! /bin/bash
source $HOME/.bashrc
-source $HOME/openfpm_vars_$3
+source $HOME/openfpm_vars_{$3}
echo "Branch: $3"
--
GitLab