]> gitweb.michael.orlitzky.com - mjotex.git/commitdiff
GNUmakefile: remove inappropriate PYTHONPATH mangling.
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 4 Nov 2019 02:56:58 +0000 (21:56 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 4 Nov 2019 02:56:58 +0000 (21:56 -0500)
This isn't needed here; it was copy/pasted from one of my publication
repositories where it is.

GNUmakefile

index e9b7d117fbab72fb5ceda2edf6ea6ec28d54c205..a5686c5ef82060b6aa812096ee81451789164796 100644 (file)
@@ -206,9 +206,7 @@ check-undefined: $(PN).log
 .PHONY: check-sage
 check-sage: $(SAGE_LISTING_DSTS)
 ifdef SAGE_LISTING_DSTS
-       PYTHONPATH="$(HOME)/src/sage.d" \
-          sage -t --timeout=0 --memlimit=0 \
-          $^
+       sage -t --timeout=0 --memlimit=0 $^
 endif
 
 # Run a suite of checks.