From 754869de8a67bf2d3a4318d5896e60de52037765 Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Wed, 23 Aug 2017 17:51:56 +0300
Subject: Add: script ./check to replace "make check"

Also, drop Makefile, which is now useless.
---
 Makefile | 16 ----------------
 check    |  8 ++++++++
 2 files changed, 8 insertions(+), 16 deletions(-)
 delete mode 100644 Makefile
 create mode 100755 check

diff --git a/Makefile b/Makefile
deleted file mode 100644
index dd894ff..0000000
--- a/Makefile
+++ /dev/null
@@ -1,16 +0,0 @@
-all:
-	$(MAKE) -C doc html
-
-check:
-	python -m CoverageTestRunner --ignore-missing-from=without-tests
-	rm -f .coverage
-	pep8 ttystatus
-	if command -v pylint && pylint --version | grep '^pylint [1-9]'; \
-        then \
-		PYTHONPATH=. pylint --rcfile=pylint.conf ttystatus; \
-        fi
-
-clean:
-	rm -f .coverage ttystatus/*.py[co]
-	rm -rf build
-	$(MAKE) -C doc clean
diff --git a/check b/check
new file mode 100755
index 0000000..819058f
--- /dev/null
+++ b/check
@@ -0,0 +1,8 @@
+#!/bin/sh
+
+set -eu
+
+python -m CoverageTestRunner --ignore-missing-from=without-tests
+rm -f .coverage
+pep8 ttystatus
+PYTHONPATH=. pylint --rcfile=pylint.conf ttystatus
-- 
cgit v1.2.1