On Thursday, March 23, 2017 at 9:07:54 AM UTC+1, vdelecroix wrote: > > On 13/02/2017 14:32, Sébastien Labbé wrote: > > > > Also git status now tells me I have this file in SAGE_ROOT: > > > > octave-workspace > > > > ? > > How did you obtain that? If you run sage tests with external softwares > enabled then octave tests are doing some mess. It is the default in the > makefile > {{{ > testall: all > $(TESTALL) --optional=sage,optional,external > --logfile=logs/testall.log > }}} > You can delete the file and run again the tests on the > interfaces/octave.py file with --optional=sage,external and check > whether the file appears again. > > Vincent >
I can't remember exactly. Maybe that file was there from a longer time than I thought. You are right, it reappears : $ rm octave-workspace $ sage -t --optional=sage,external src/sage/interfaces/octave.py Running doctests with ID 2017-03-23-10-05-25-f302510e. Git branch: develop Using --optional=external,sage External software to be detected: cplex,gurobi,internet,latex,macaulay2,magma,maple,mathematica,matlab,octave,scilab Doctesting 1 file. sage -t --warn-long 55.2 src/sage/interfaces/octave.py [133 tests, 1.44 s] ---------------------------------------------------------------------- All tests passed! ---------------------------------------------------------------------- Total time for all tests: 6.2 seconds cpu time: 0.5 seconds cumulative wall time: 1.4 seconds External software detected for doctesting: octave $ git status Sur la branche develop Fichiers non suivis: (utilisez "git add <fichier>..." pour inclure dans ce qui sera validé) octave-workspace aucune modification ajoutée à la validation mais des fichiers non suivis sont présents (utilisez "git add" pour les suivre) -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To post to this group, send email to sage-release@googlegroups.com. Visit this group at https://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.