diff options
author | Lars Wirzenius <liw@liw.fi> | 2017-08-23 17:51:56 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2017-08-23 17:51:56 +0300 |
commit | 754869de8a67bf2d3a4318d5896e60de52037765 (patch) | |
tree | c3a605b6b11bce3023bfecefb8fcc764930d4063 /Makefile | |
parent | 7e2c65c53113115e2559310260a38b0e2141f87c (diff) | |
download | ttystatus-754869de8a67bf2d3a4318d5896e60de52037765.tar.gz |
Add: script ./check to replace "make check"
Also, drop Makefile, which is now useless.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 16 |
1 files changed, 0 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 |