From 42d97bc6cd8b4fd227bdb4e3d46decbf31128b5a Mon Sep 17 00:00:00 2001
From: Incardona Pietro <incardon@mpi-cbg.de>
Date: Wed, 24 Nov 2021 01:27:59 +0100
Subject: [PATCH] Fixing make install for openmp
---
build.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/build.sh b/build.sh
index e9f044325..96ecbd95a 100755
--- a/build.sh
+++ b/build.sh
@@ -124,7 +124,7 @@ if [ $? -ne 0 ]; then
fi
# Check of we have to do a make install
-if [ x"$comp_type" == x"full" ]; then
+if [ x"$comp_type" == x"full" -o x"$comp_type" == x"openmp" ]; then
mv $HOME/openfpm_vars $HOME/openfpm_vars_$branch
make install
if [ x"$?" != x"0" ]; then
--
GitLab