Samuel Thibault f2bea4ce94 Use $STARPU_LAUNCH in scripts 5 年之前
..
coverage.sh f2bea4ce94 Use $STARPU_LAUNCH in scripts 5 年之前