Ask Your Question

Revision history [back]

I think the easiest thing to do is to replicate the command run by make ptestlong and add the options you want: from the main Sage directory, run

./sage -t -p --all --long --logfile=logs/ptestlong.log --show-skipped

Alternatively, you can edit the Makefile, for example adding a new make target:

diff --git a/Makefile b/Makefile
index 9bc643c1c8..4f300f3fed 100644
--- a/Makefile
+++ b/Makefile
@@ -111,6 +111,9 @@ ptestall: all
 ptestlong: all
        $(PTESTALL) --long --logfile=logs/ptestlong.log

+ptestlongshowskipped: all
+       $(PTESTALL) --long --logfile=logs/ptestlongshowskipped.log --show-skipped
+
 ptestalllong: all
        $(PTESTALL) --long --optional=sage,optional,external --logfile=logs/ptestalllong.log

and then run make ptestlongshowskipped.