From: Michael Orlitzky Date: Mon, 6 Dec 2021 12:13:18 +0000 (-0500) Subject: GNUmakefile: drop obsolete --memlimit argument to sage -t. X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=42b7c70a17afda63b29fa9f61be142c127ef1db6;p=mjotex.git GNUmakefile: drop obsolete --memlimit argument to sage -t. --- 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.