From 8b078e9acf6cb2650ffe138468460d5964ee65f3 Mon Sep 17 00:00:00 2001
From: Incardona Pietro <incardon@mpi-cbg.de>
Date: Tue, 27 Jul 2021 11:10:27 +0200
Subject: [PATCH] Fixing configuration again
---
script/conf_PETSC | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/script/conf_PETSC b/script/conf_PETSC
index 254657a5a..c8c9f4fc2 100755
--- a/script/conf_PETSC
+++ b/script/conf_PETSC
@@ -1,6 +1,6 @@
#! /bin/bash
-function conf_PETSC_ALGOIM()
+function conf_PETSC()
{
if [ -d "$i_dir/PETSC" ]; then
configure_options="$configure_options --with-petsc=$i_dir/PETSC "
--
GitLab