Merge pull request #1428 from pqrs-org/update-core

Update core
pqrs-org · Jul 10, 2023 · 6e9b6b3 · 6e9b6b3
2 parents dc5b59f + 4ccf635
commit 6e9b6b3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -4,5 +4,8 @@ all:
 rebuild:
 	make -C core rebuild
 
+update-public-build:
+	make -C core update-public-build
+
 server:
 	make -C core server
diff --git a/core b/core