Explicitly declare default goals in Makefiles#924

Merged

mbarnes merged 2 commits intomainfrom default-make-goals

Dec 5, 2024

+4

Commits on Dec 4, 2024

frontend: Explicitly name "frontend" as the default make goal
Matthew Barnes
committed
backend: Explicitly name "backend" as the default make goal
Matthew Barnes
committed