diff options
| -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 |