Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit d2f214d3 authored by Mathieu Faverge's avatar Mathieu Faverge

Fix mistake

parent 7589d389
......@@ -81,7 +81,7 @@ void RUNTIME_start_stats(){
void RUNTIME_stop_stats(){
fprintf( stderr, "\ntasks: %ul = exec: %ul + comm: %ul + changed: %ul\n",
fprintf( stderr, "\ntasks: %lu = exec: %lu + comm: %lu + changed: %lu\n",
RUNTIME_total_tasks, RUNTIME_exec_tasks, RUNTIME_comm_tasks, RUNTIME_changed_tasks );
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment