Changes between Initial Version and Version 1 of Ticket #14202


Ignore:
Timestamp:
02/28/13 07:43:05 (9 years ago)
Author:
jdemeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14202

    • Property Summary changed from Workaround potential absence of time command on Cygwin to Workaround potential absence of time command
  • Ticket #14202 – Description

    initial v1  
    1 We have a bash time builtin but no "real" time unless the time package is installed.
    2 So in this case if time is not the first command youll get a "command not found".
     1On some systems (including but not limited to Cygwin), there is a bash "`time`" keyword but no `time` command.
    32
    4 This is problematic in sage/interfaces/qsieve.py
     3This is problematic in sage/interfaces/qsieve.py (see `optional - time`) doctests.
    54
    6 See http://trac.sagemath.org/sage_trac/ticket/14184#comment:16, http://trac.sagemath.org/sage_trac/ticket/9164#comment:3, https://groups.google.com/d/topic/sage-devel/WtvaNKHdnts/discussion and http://comments.gmane.org/gmane.os.cygwin/106331
     5See also:
     6* http://trac.sagemath.org/sage_trac/ticket/14184#comment:16
     7* http://trac.sagemath.org/sage_trac/ticket/9164#comment:3
     8* https://groups.google.com/d/topic/sage-devel/WtvaNKHdnts/discussion
     9* http://comments.gmane.org/gmane.os.cygwin/106331