%!s(int64=7) %!d(string=hai) anos · 8f1a401d48
--- a/contrib/ci.inria.fr/job-1-check.sh
+++ b/contrib/ci.inria.fr/job-1-check.sh
@@ -76,5 +76,6 @@ make clean
 
				 
			
 
				 grep "^FAIL:" ../check_$$ || true
			
 
				 
			
 
				+echo "Running on $(uname -a)"
			
 
				 exit $(grep "^FAIL:" ../check_$$ | wc -l)