add a summary target

863ecb96 · Valentin Perrelle · Andre Maroneze · 3ac423f1 · 863ecb96
Commit 863ecb96 authored Jul 30, 2020 by Valentin Perrelle Committed by Andre Maroneze Aug 03, 2020
--- a/Makefile
+++ b/Makefile
@@ -85,6 +85,9 @@ QUICK_TARGETS=$(filter-out polarssl gzip124 libmodbus monocypher chrony,$(TARGET

 all: $(TARGETS)

+summary:
+	frama-c/share/analysis-scripts/summary.py
+
 $(TARGETS):
 	+$(MAKE) -C $@/.frama-c