openmpi: do not regenerate configure if already present

diff --git a/products/compil_scripts/openmpi.sh b/products/compil_scripts/openmpi.sh
index 13f52394f67c901d94d9b5798eba70c51fa06c1d..631b57c009d6ec2ce88cf9ac3390305851a17cb4 100755 (executable)
--- 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