Merge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/starpu/starpu

doc/doxygen/chapters/501_environment_variables.doxy

@@ -1203,15 +1203,6 @@ the current time() (unless SimGrid mode is enabled, in which case it is always
 0). \ref STARPU_RAND_SEED allows to set the seed to a specific value.
 </dd>
 
-<dt>STARPU_IDLE_TIME</dt>
-<dd>
-\anchor STARPU_IDLE_TIME
-\addindex __env__STARPU_IDLE_TIME
-When set to a value being a valid filename, a corresponding file
-will be created when shutting down StarPU. The file will contain the
-sum of all the workers' idle time.
-</dd>
-
 <dt>STARPU_GLOBAL_ARBITER</dt>
 <dd>
 \anchor STARPU_GLOBAL_ARBITER

min-dgels/Makefile.in

@@ -36,3 +36,5 @@ check:
 showcheck: check
 
 showsuite: check
+
+recheck: check