40 lines
1.0 KiB
Makefile
40 lines
1.0 KiB
Makefile
|
|
PUBLIC_REPO=https://github.com/zeek/zeek-testing
|
|
REPOS=`./scripts/find-git-repos`
|
|
|
|
DIAG=diag.log
|
|
|
|
all:
|
|
@rm -f $(DIAG)
|
|
@for repo in $(REPOS); do ( cd $$repo && make -s ); done
|
|
|
|
brief:
|
|
@rm -f $(DIAG)
|
|
@for repo in $(REPOS); do ( cd $$repo && make -s brief ); done
|
|
|
|
init:
|
|
git clone $(PUBLIC_REPO) && ./scripts/sync-repo $$(basename $(PUBLIC_REPO))
|
|
|
|
pull:
|
|
@for repo in $(REPOS); do ( cd $$repo && git pull ); done
|
|
|
|
push:
|
|
@for repo in $(REPOS); do ( cd $$repo && git push origin HEAD ); done
|
|
|
|
status:
|
|
@for repo in $(REPOS); do ( cd $$repo && echo '>>' $$repo && git status -bs && echo ); done
|
|
|
|
coverage:
|
|
@for repo in $(REPOS); do ( cd $$repo && echo "Coverage for '$$repo' repo:" && make coverage ); done
|
|
|
|
update-timing:
|
|
@for repo in $(REPOS); do ( cd $$repo && echo "Updating timing for '$$repo' repo:" && make update-timing ); done
|
|
|
|
update-commit-hashes sync-commits:
|
|
for repo in $(REPOS); do ./scripts/sync-commit $$repo; done
|
|
|
|
checkout-repos sync-repos:
|
|
for repo in $(REPOS); do ./scripts/sync-repo $$repo; done
|
|
|
|
.PHONY: all brief init pull push status coverage
|