Fix typo in update-timing target for external testsuites

Also includes whitespace tweaks for consistency.
This commit is contained in:
Christian Kreibich 2022-06-24 15:09:25 -07:00
parent bf7b6e5ed0
commit 9f3dfbdb13

View file

@ -6,11 +6,11 @@ DIAG=diag.log
all: all:
@rm -f $(DIAG) @rm -f $(DIAG)
@for repo in $(REPOS); do (cd $$repo && make -s ); done @for repo in $(REPOS); do ( cd $$repo && make -s ); done
brief: brief:
@rm -f $(DIAG) @rm -f $(DIAG)
@for repo in $(REPOS); do (cd $$repo && make -s brief ); done @for repo in $(REPOS); do ( cd $$repo && make -s brief ); done
init: init:
git clone $(PUBLIC_REPO) git clone $(PUBLIC_REPO)
@ -25,9 +25,9 @@ status:
@for repo in $(REPOS); do ( cd $$repo && echo '>>' $$repo && git status -bs && echo ); done @for repo in $(REPOS); do ( cd $$repo && echo '>>' $$repo && git status -bs && echo ); done
coverage: coverage:
@for repo in $(REPOS); do (cd $$repo && echo "Coverage for '$$repo' repo:" && make coverage); done @for repo in $(REPOS); do ( cd $$repo && echo "Coverage for '$$repo' repo:" && make coverage ); done
update-timing: update-timing:
@for repo in $(REPOS); do (cd $$repo && echo "Coverage for '$$repo' repo:" && make update-timing); done @for repo in $(REPOS); do ( cd $$repo && echo "Updating timing for '$$repo' repo:" && make update-timing ); done
.PHONY: all brief init pull push status coverage .PHONY: all brief init pull push status coverage