Merge branch 'feature/analysis-scripts/eva-benchmark' into 'master'

[analysis-scripts] improve the ability to benchmark eva runs

See merge request frama-c/frama-c!2114

share/analysis-scripts/frama-c.mk

@@ -205,7 +205,8 @@ SHELL        := /bin/bash
 	  printf 'timestamp=%q\n' "$(HR_TIMESTAMP)";
 	  printf 'warnings=%s\n' "`cat $@/warnings.log | grep ':\[\(eva\|kernel\|from\)\]' | wc -l`";
 	  printf 'alarms=%s\n' "`expr $$(cat $@/alarms.csv | wc -l) - 1`";
-	  printf 'cmd_args=%q\n' "$(subst ",\",$(wordlist 2,999,$(EVA)))"
+	  printf 'cmd_args=%q\n' "$(subst ",\",$(wordlist 2,999,$(EVA)))";
+	  printf 'benchmark_tag=%s' "$(BENCHMARK)"
 	} >> $@/stats.txt
 	if [ ! -z $${FLAMEGRAPH+x} ]; then
 	  NOGUI=1 $(FRAMAC_SCRIPT) flamegraph $@/flamegraph.txt $@/