diff options
| author | hut <hut@lavabit.com> | 2010-05-25 18:17:34 +0200 |
|---|---|---|
| committer | hut <hut@lavabit.com> | 2010-05-25 18:17:34 +0200 |
| commit | 0d64ca5f078f6a56b0df92e2b90fb5940f7c03d6 (patch) | |
| tree | d4282303a91dbfa434414b20b53e67f64a9b9d7b /Makefile | |
| parent | 7838675f5e83dcc05567a205b282b48c433b0853 (diff) | |
| download | ranger-0d64ca5f078f6a56b0df92e2b90fb5940f7c03d6.tar.gz | |
make bm, make test: make use of PYTHON variable
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile index 5a86d371..6a103a02 100644 --- a/Makefile +++ b/Makefile @@ -100,10 +100,10 @@ cleandoc: test -d $(DOCDIR) && rm -f -- $(DOCDIR)/*.html test: - @./all_tests.py 1 + @$(PYTHON) all_tests.py 1 bm: - @./all_benchmarks.py $(BMCOUNT) + @$(PYTHON) all_benchmarks.py $(BMCOUNT) snapshot: git archive HEAD | gzip > $(NAME)-$(VERSION)-$(shell git rev-parse HEAD | cut -b 1-8).tar.gz |