GNUmakefile: drop obsolete --memlimit argument to sage -t.

[mjotex.git] / GNUmakefile

diff --git a/GNUmakefile b/GNUmakefile
index 61c9eca394ae7ea3767a2c554128dc1447358d9d..3669ac21f657341c85f88ff72335d90425fecaaa 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -197,7 +197,7 @@ check-undefined: $(PN).log
 .PHONY: check-sage
 check-sage: $(SAGE_LISTING_DSTS)
 ifdef SAGE_LISTING_DSTS
-       sage -t --timeout=0 --memlimit=0 $^
+       sage -t --timeout=0 $^
 endif
 
 # Run a suite of checks.