Skip to content
Snippets Groups Projects
Commit d56dbd2b authored by Andre Maroneze's avatar Andre Maroneze
Browse files

makefile: prioritize starting long-running targets before others

parent d38e7a82
No related branches found
No related tags found
No related merge requests found
Pipeline #67669 failed
......@@ -97,10 +97,15 @@ help::
@echo "Known targets:"
@echo "$(sort $(TARGETS))"
# A target for "fast" analyses, used to speed up testing
QUICK_TARGETS=$(filter-out polarssl gzip124 libmodbus monocypher chrony,$(TARGETS))
# Targets sorted by "longest-running first"
SLOW_TARGETS=monocypher chrony debie1 polarssl libmodbus
all: $(TARGETS)
QUICK_TARGETS=$(filter-out $(SLOW_TARGETS),$(TARGETS))
# Start long-running targets first, to minimize overall wall-clock time
# Note: we rely on the fact that GNU make tends to start running targets
# in left-to-right order
all: $(SLOW_TARGETS) $(QUICK_TARGETS)
summary:
frama-c/share/analysis-scripts/summary.py
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment