diff --git a/tools/README.md b/tools/README.md index 64935df..574dcc5 100644 --- a/tools/README.md +++ b/tools/README.md @@ -6,12 +6,10 @@ Build system and utilities. Un argument pour construire la séquence entière ou deux pour démarrer au milieu, c'est pratique quand le disjoncteur fait un *beu-beu*. Exemples : - ``` $ tools/mkloop.sh survol $ tools/mkloop.sh survol 133 ``` - ## Linkfarming C'est le directeur de la production, le grand @@ -29,4 +27,10 @@ Le fichier de sortie s'appelle *wip.mp4* dans tous les cas. ## Plot the timing +On peut visualiser le temps de calcul d'une séquence avec la +commande [plot-timing.sh](./plot-timing.sh) qui génère un fichier +PNG. C'est un script basé sur *Awk* et *Gnuplot*. +``` +$ tools/plot-timing.sh essai && d timing.png +```