Samuel Thibault f2bea4ce94 Use $STARPU_LAUNCH in scripts преди 5 години
..
coverage.sh f2bea4ce94 Use $STARPU_LAUNCH in scripts преди 5 години