From 88dfaad8341867d1df155feaf2591a9acc1157a1 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sat, 18 May 2024 17:11:05 -0400 Subject: [PATCH] makefile: timeout overrides should no longer be necessary --- makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefile b/makefile index 63b577a..79cf89a 100644 --- 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 -- 2.44.2