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