From 7bfa48ffe4ec23052c3fd833b3c0197b5c705dc0 Mon Sep 17 00:00:00 2001 From: Daniil Baturin Date: Mon, 16 Jan 2017 15:35:41 +0700 Subject: Real initial commit. --- Makefile | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 Makefile (limited to 'Makefile') diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..a169332 --- /dev/null +++ b/Makefile @@ -0,0 +1,7 @@ +.PHONY: +verify-definitions: + find data/interface-definitions/ -type f -print | xargs scripts/verify-schema.py schema/interface_definition.rng + +.PHONY: +all: + verify-definitions -- cgit v1.2.3