diff options
-rw-r--r-- | Makefile | 16 | ||||
-rwxr-xr-x | check | 8 |
2 files changed, 8 insertions, 16 deletions
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 @@ -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 |