%!s(int64=4) %!d(string=hai) anos · ea14b140f6
--- a/contrib/ci.inria.fr/job-1-check.sh
+++ b/contrib/ci.inria.fr/job-1-check.sh
@@ -68,8 +68,10 @@ fi
 
				 
			
 
				 export CC=gcc
			
 
				 
			
 
				+set +e
			
 
				 mpiexec -oversubscribe pwd 2>/dev/null
			
 
				 ret=$?
			
 
				+set -e
			
 
				 ARGS=""
			
 
				 if test "$ret" = "0"
			
 
				 then