From: Nabil Ghodbane Date: Fri, 11 Dec 2020 15:38:53 +0000 (+0100) Subject: petsc: set it to chmod 755 X-Git-Tag: V9_7_0~192 X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=bbaa2b3cfb3b29d20be6f2e1be9e8ca50c2dace1;p=tools%2Fsat_salome.git petsc: set it to chmod 755 --- diff --git a/products/compil_scripts/petsc.sh b/products/compil_scripts/petsc.sh old mode 100644 new mode 100755