Cédric Augonnet aed2c35fd7 Improve the CPU kernel of the pi_redux benchmark by using the erand48_r which %!s(int64=14) %!d(string=hai) anos
..
pi aed2c35fd7 Improve the CPU kernel of the pi_redux benchmark by using the erand48_r which %!s(int64=14) %!d(string=hai) anos
Makefile.am ccb9c7a725 Make sure to include our own starpu.h before potential system-installed ones %!s(int64=14) %!d(string=hai) anos