From 365f18bb70df268de5933176e55f4315295b62c7 Mon Sep 17 00:00:00 2001 From: Dmitry Bogatov Date: Wed, 20 Mar 2019 13:22:42 +0000 Subject: Make build system respect `nocheck' option. --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 Makefile (limited to 'Makefile') diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..e39c248 --- /dev/null +++ b/Makefile @@ -0,0 +1,4 @@ +all: +check: + prove +.PHONY: check -- cgit v1.2.3