%!s(int64=6) %!d(string=hai) anos · d460178e20
--- a/contrib/ci.inria.fr/job-1-check.sh
+++ b/contrib/ci.inria.fr/job-1-check.sh
@@ -73,7 +73,7 @@ fi
 
				 make
			
 
				 #make check
			
 
				 (make -k check || true) 2>&1 | tee  ../check_$$
			
 
				-make showcheck
			
 
				+make showsuite
			
 
				 
			
 
				 grep "^FAIL:" ../check_$$ || true