I noticed this:
$ sage -t src/sage/rings/finite_rings/*
Running doctests with ID 2017-11-17-23-04-49-f065787a.
Git branch: finite_field_extension_trac24195_dev
Using --optional=mpir,python2,sage
Traceback (most recent call last):
File "/Users/Kwankyu/GitHub/sage/src/bin/sage-runtests", line 125, in
<module>
err = DC.run()
File
"/Users/Kwankyu/GitHub/sage/local/lib/python2.7/site-packages/sage/doctest/control.py",
line 1141, in run
self.expand_files_into_sources()
File
"/Users/Kwankyu/GitHub/sage/local/lib/python2.7/site-packages/sage/doctest/control.py",
line 751, in expand_files_into_sources
self.sources = [FileDocTestSource(path, self.options) for path in
expand()]
File
"/Users/Kwankyu/GitHub/sage/local/lib/python2.7/site-packages/sage/doctest/sources.py",
line 525, in __init__
raise ValueError("unknown file extension %r"%ext)
ValueError: unknown file extension '.h'
$
The problematic file is
$ ls -l src/sage/rings/finite_rings/*.h
-rw-r--r-- 1 Kwankyu staff 311 Nov 17 10:13
src/sage/rings/finite_rings/integer_mod_limits.h
$
Is this normal situation? This betrays my belief that a command like
$ sage -t src/sage/rings/finite_rings/*
always works fine.
--
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.
