From e12058ce7ff73b7f5c25e252af3f650fdc543e92 Mon Sep 17 00:00:00 2001
From: Nabil Ghodbane <nabil.ghodbane@cea.fr>
Date: Fri, 10 Mar 2023 13:00:58 +0100
Subject: [PATCH] openMPI fix

---
 products/compil_scripts/openmpi.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/products/compil_scripts/openmpi.sh b/products/compil_scripts/openmpi.sh
index 631b57c..9473780 100755
--- a/products/compil_scripts/openmpi.sh
+++ b/products/compil_scripts/openmpi.sh
@@ -8,15 +8,15 @@ rm -rf $BUILD_DIR
 mkdir $BUILD_DIR
 cd $BUILD_DIR
 
-cp -r $SOURCE_DIR/* .
+# -p option ensures that the date remain the same.
+cp -p -r $SOURCE_DIR/* .
 
 if [ -f autogen.pl ] && [ ! -f configure ]; then
     echo
-    echo "*** autoreconf -i"
+    echo "*** autogen.pl"
     chmod +x autogen.pl
     ./autogen.pl
-    if [ $? -ne 0 ]
-    then
+    if [ $? -ne 0 ]; then
         echo "ERROR on autogen.pl"
         exit 1
     fi
-- 
2.39.2