# Last edited on 2025-11-03 21:11:53 by stolfi SHELL := /bin/bash .PHONY: all make_port_span all: make_port_span make_port_span: for d in span/cas port/cso port/csm port/csp; do \ echo "=== $$d ===" 1>&2; ( cd $$d && make all ) ; \ done