Hello,

runing the patchbot 2.5.6 on sage 7.2.b6 on a new machine, I got failures 
related to SAGE_ORIG_LD_LIBRARY_PATH, see part of the log below. Could this 
be
related to the fact that the machine's default shell is not bash ?

Does anybody have an idea where this could come from ?

Frederic

sage -t --long src/sage/repl/interpreter.py
**********************************************************************
File "src/sage/repl/interpreter.py", line 193, in 
sage.repl.interpreter.SageShellOverride.system_raw
Failed example:
    shell.system_raw('false')
Expected nothing
Got:
    SAGE_ORIG_LD_LIBRARY_PATH: Undefined variable.
**********************************************************************
File "src/sage/repl/interpreter.py", line 196, in 
sage.repl.interpreter.SageShellOverride.system_raw
Failed example:
    shell.system_raw('true')
Expected nothing
Got:
    SAGE_ORIG_LD_LIBRARY_PATH: Undefined variable.
**********************************************************************
File "src/sage/repl/interpreter.py", line 197, in 
sage.repl.interpreter.SageShellOverride.system_raw
Failed example:
    shell.user_ns['_exit_code']
Expected:
    0
Got:
    1
**********************************************************************
File "src/sage/repl/interpreter.py", line 199, in 
sage.repl.interpreter.SageShellOverride.system_raw
Failed example:
    shell.system_raw('env | grep "^LD_LIBRARY_PATH=" | grep $SAGE_LOCAL')
Expected nothing
Got:
    SAGE_ORIG_LD_LIBRARY_PATH: Undefined variable.
**********************************************************************
1 item had failures:
   4 of  12 in sage.repl.interpreter.SageShellOverride.system_raw
    [133 tests, 4 failures, 6.05 s]

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to