PROTOCOLS_BRANCH

This commit is contained in:
Tony Garnock-Jones 2023-02-08 19:39:30 +01:00
parent 3fdf92daeb
commit 6aba0ebe41
1 changed files with 2 additions and 1 deletions

View File

@ -16,11 +16,12 @@ build: clean
veryclean: clean
rm -rf pyenv
PROTOCOLS_BRANCH=main
pull-protocols:
git subtree pull -P syndicate/protocols \
-m 'Merge latest changes from the syndicate-protocols repository' \
git@git.syndicate-lang.org:syndicate-lang/syndicate-protocols \
main
$(PROTOCOLS_BRANCH)
chat.bin: chat.prs
preserves-schemac .:chat.prs > $@