From: Nabil Ghodbane Date: Fri, 10 Mar 2023 10:11:52 +0000 (+0100) Subject: openmpi: do not regenerate configure if already present X-Git-Tag: V9_11_0~92 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=9f9de7bede91c1fc15c886873cb598ddb323c310;p=tools%2Fsat_salome.git openmpi: do not regenerate configure if already present --- 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