@@ -72,6 +72,7 @@ else
fi
../configure $CONFIGURE_OPTIONS $CONFIGURE_CHECK $STARPU_CONFIGURE_OPTIONS
+export STARPU_TIMEOUT_ENV=1800
make
#make check
(make -k check || true) 2>&1 | tee ../check_$$
Nathalie Furmento