 Samuel Thibault
|
420c3e1274
Avoid getting $BASH from the shell (/bin/sh, typically), we prefer to use /bin/bash for reproducibility
|
hace 6 años |
 Nathalie Furmento
|
f7abbfa6fc
update copyright
|
hace 6 años |
|
Nathalie Furmento
|
089c051bf5
fix copyrights
|
hace 7 años |
|
Nathalie Furmento
|
fd8f48d684
tools: fix copyrights
|
hace 7 años |
|
Nathalie Furmento
|
bb61f3808d
update cnrs copyright
|
hace 10 años |
|
Samuel Thibault
|
4b1a16edde
Fix University name after the fusion..
|
hace 11 años |
|
Nathalie Furmento
|
d3e58c1c93
tools/starpu_codelet_profile.in: check bash location
|
hace 12 años |
|
Nathalie Furmento
|
b87d198aed
tools: starpu_codelet_profile and starpu_codelet_histo_profile honors -v option
|
hace 12 años |
