Changes between Initial Version and Version 1 of Ticket #14202
- Timestamp:
- 02/28/13 07:43:05 (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #14202
-
Property
Summary
changed from
Workaround potential absence of time command on Cygwin
toWorkaround potential absence of time command
-
Property
Summary
changed from
-
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". 1 On some systems (including but not limited to Cygwin), there is a bash "`time`" keyword but no `time` command. 3 2 4 This is problematic in sage/interfaces/qsieve.py 3 This is problematic in sage/interfaces/qsieve.py (see `optional - time`) doctests. 5 4 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 5 See 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