reworking the build system

tools/plot-timing.sh

@@ -5,9 +5,6 @@ set -ue
 TMPFILE="/dev/shm/plot-timing.tmp"
 IMAGE="timing.png"
 
-echo ; figlet "plot timing" ; echo
-wc WS/mp4.timing | tee -a WS/log
-
 if [ $# == 1 ]
 then
 	sequence=$1
@@ -15,7 +12,10 @@ else
 	sequence="escadrille"
 fi
 
-grep $sequence WS/mp4.timing | tail -3600 | awk '				\
+echo "plot timing $sequence" | tee -a WS/log
+# wc WS/mp4.timing | tee -a WS/log
+
+grep $sequence WS/mp4.timing | tail -3600 | awk '		\
 BEGIN	{							\
 	nbrames=360;						\
 	for (foo=0; foo<nbrames; foo++) {			\