%!s(int64=7) %!d(string=hai) anos · e84f128cd5
--- a/contrib/ci.inria.fr/Jenkinsfile-basic
+++ b/contrib/ci.inria.fr/Jenkinsfile-basic
@@ -13,6 +13,7 @@ pipeline
 
				 				node('autotools')
			
 
				 				{
			
 
				 					checkout scm
			
 
				+					sh 'contrib/ci.inria.fr/job-0-tarball.sh'
			
 
				 				}
			
 
				 			}
			
 
				 		}
			
--- a/contrib/ci.inria.fr/job-0-tarball.sh
+++ b/contrib/ci.inria.fr/job-0-tarball.sh
@@ -0,0 +1,8 @@
 
				+#!/bin/sh
			
 
				+
			
 
				+./autogen.sh
			
 
				+mkdir build && cd build
			
 
				+../configure
			
 
				+make
			
 
				+make distcheck
			
 
				+