X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=GNUmakefile;h=3669ac21f657341c85f88ff72335d90425fecaaa;hp=61c9eca394ae7ea3767a2c554128dc1447358d9d;hb=HEAD;hpb=07b10e9bcd59b16af1cd6b143f07f0a3cd56d33d

diff --git a/GNUmakefile b/GNUmakefile
index 61c9eca..3669ac2 100644
--- 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.