Commit 9d867ff2 authored by Valentin Perrelle's avatar Valentin Perrelle

add a summary target

parent e5519bf5
......@@ -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
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment