From: Nabil Ghodbane <nabil.ghodbane@cea.fr>
Date: Thu, 16 Mar 2023 08:57:29 +0000 (+0100)
Subject: topIIVol: too long on DB9 -  switch off until moving to container
X-Git-Tag: V9_11_0~83
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=9a447cce1920fbae5de8a4ebe7d6cd6db5e27467;p=tools%2Fsat_salome.git

topIIVol: too long on DB9 -  switch off until moving to container
---

diff --git a/products/compil_scripts/TopIIVolMesh.sh b/products/compil_scripts/TopIIVolMesh.sh
index 6f50baf..4cf6818 100755
--- a/products/compil_scripts/TopIIVolMesh.sh
+++ b/products/compil_scripts/TopIIVolMesh.sh
@@ -7,6 +7,7 @@ echo "##########################################################################
 export CC=$(which mpicc)
 export CXX=$(which mpicxx)
 export MPICXX=$(which mpic++)
+LINUX_DISTRIBUTION="$DIST_NAME$DIST_VERSION"
 
 CONFIGURE_FLAGS=
 CONFIGURE_FLAGS+=" --with-MPICXX=${MPICXX}"
@@ -20,8 +21,7 @@ cp -r $SOURCE_DIR/* .
 echo
 echo "*** autoreconf -i"
 autoreconf -i
-if [ $? -ne 0 ]
-then
+if [ $? -ne 0 ]; then
     echo "ERROR on autoreconf command"
     exit 1
 fi
@@ -29,16 +29,15 @@ fi
 echo
 echo "*** configure --prefix=$PRODUCT_INSTALL $CONFIGURE_FLAGS" 
 $BUILD_DIR/configure --prefix=$PRODUCT_INSTALL $CONFIGURE_FLAGS
-if [ $? -ne 0 ]
-then
+if [ $? -ne 0 ]; then
     echo "ERROR on configure"
     exit 2
 fi
+
 echo
 echo "*** make" $MAKE_OPTIONS
 make $MAKE_OPTIONS
-if [ $? -ne 0 ]
-then
+if [ $? -ne 0 ]; then
     echo "ERROR on make"
     exit 3
 fi
@@ -46,8 +45,7 @@ fi
 echo
 echo "*** make install"
 make install
-if [ $? -ne 0 ]
-then
+if [ $? -ne 0 ]; then
     echo "ERROR on make install"
     exit 4
 fi
@@ -62,12 +60,18 @@ else
     echo "*** hostnamectl says that $HOSTNAME is *NOT* a virtual machine"
 fi
 
-make check
-if [ $? -ne 0 ]
-then
-    echo "ERROR on make check"
-    exit 5
-fi
+case $LINUX_DISTRIBUTION in
+    DB09)
+        :
+        ;;
+    *)
+        make check
+        if [ $? -ne 0 ]; then
+            echo "ERROR on make check"
+            exit 5
+        fi
+        ;;
+esac
 
 echo
 echo "########## END"