contrib: move files out of build directory

contrib/ci.inria.fr/Jenkinsfile-basic

@@ -18,7 +18,7 @@ pipeline
 					sh 'contrib/ci.inria.fr/job-0-tarball.sh'
 					script
 					{
-					       env.tarballgz = sh (script: 'ls build/*.tar.gz', returnStdout: true).trim()
+					       env.tarballgz = sh (script: 'ls *.tar.gz', returnStdout: true).trim()
 					}
 					stash includes: "${env.tarballgz}", name: 'tarballgz'
 					stash includes: "starpu.pdf", name: 'doc'

contrib/ci.inria.fr/job-0-tarball.sh

@@ -9,6 +9,7 @@ mkdir build && cd build
 ../configure
 make V=1
 make dist
+cp *gz ..
 cp doc/doxygen/starpu.pdf ..
 make clean
 

contrib/ci.inria.fr/job-1-check.sh

@@ -21,8 +21,6 @@ set -x
 export PKG_CONFIG_PATH=/home/ci/usr/local/lib/pkgconfig:$PKG_CONFIG_PATH
 export LD_LIBRARY_PATH=/home/ci/usr/local/lib:$LD_LIBRARY_PATH
 
-mv build/*gz .
-rmdir build
 tarball=$(ls -tr starpu-*.tar.gz | tail -1)
 
 if test -z "$tarball"