contrib/ci.inria.fr: only updating configure time has the effect of getting into a infinite loop of make calling configure and so on

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

@@ -41,8 +41,8 @@ env > $PWD/env
 
 test -d $basename && chmod -R u+rwX $basename && rm -rf $basename
 tar xfz ../$tarball
+touch --date="last hour" $(find $basename)
 cd $basename
-touch configure
 mkdir build
 cd build