From 3c1cb1177957dfc482fc68319a737245d99bb3dd Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 8 Feb 2023 14:35:15 +0100 Subject: [PATCH] Allow override of PROTOCOLS_BRANCH --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 3dbcf8d..3489db4 100644 --- a/Makefile +++ b/Makefile @@ -21,11 +21,12 @@ ws-publish: cargo workspaces publish \ --from-git +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) static: static-x86_64