makefile: timeout overrides should no longer be necessary

diff --git a/makefile b/makefile
index 63b577a3880ddcc48daa0db5ef797bd9c0e8cef3..79cf89af52ad6b6db15204ea7fe7d0b6cad30dd0 100644 (file)
--- a/makefile
+++ b/makefile
@@ -1,7 +1,7 @@
 SAGE = $(shell which sage)
 
 check:
-       PYTHONPATH="." $(SAGE) -t --timeout=0 --long --exitfirst mjo/
+       PYTHONPATH="." $(SAGE) -t --long --exitfirst mjo/
 clean:
        find ./ -type f -name '*.pyc' -delete
        find ./ -type d -name '__pycache__' -delete