From 817d46bf67edb5cfe3d9539fb067763171597f24 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 19 Aug 2021 22:16:40 -0400 Subject: [PATCH] Makefile for protocols --- protocols/Makefile | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 protocols/Makefile diff --git a/protocols/Makefile b/protocols/Makefile new file mode 100644 index 0000000..1efe0bd --- /dev/null +++ b/protocols/Makefile @@ -0,0 +1,8 @@ +all: schema-bundle.bin + +clean: + rm -f schema-bundle.bin + +schema-bundle.bin: schemas/*.prs + preserves-schemac schemas/*.prs > $@.tmp + mv $@.tmp $@