From 9f9de7bede91c1fc15c886873cb598ddb323c310 Mon Sep 17 00:00:00 2001
From: Nabil Ghodbane <nabil.ghodbane@cea.fr>
Date: Fri, 10 Mar 2023 11:11:52 +0100
Subject: [PATCH] openmpi: do not regenerate configure if already present

---
 products/compil_scripts/openmpi.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/products/compil_scripts/openmpi.sh b/products/compil_scripts/openmpi.sh
index 13f5239..631b57c 100755
--- a/products/compil_scripts/openmpi.sh
+++ b/products/compil_scripts/openmpi.sh
@@ -10,7 +10,7 @@ cd $BUILD_DIR
 
 cp -r $SOURCE_DIR/* .
 
-if [ -f autogen.pl ]; then
+if [ -f autogen.pl ] && [ ! -f configure ]; then
     echo
     echo "*** autoreconf -i"
     chmod +x autogen.pl
-- 
2.39.2