From 863ecb96ff6c43968a667aab56af76025571b926 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Thu, 30 Jul 2020 14:16:54 +0200
Subject: [PATCH] add a summary target

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 3feace6dc..1eb9c825e 100644
--- 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
 
-- 
GitLab