mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Polish errorck and featureck UI

Browse Source
This commit is contained in:
Brian Anderson 2015-01-24 12:23:06 -08:00
parent 1ce86651c7
commit 0e16ad8c3f
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/etc/errorck.py
View File

@ -54,8 +54,10 @@ for errcode, entries in errcode_map.items():
print("{1}: {2}\n{3}".format(*entry))
errors = True
print("{0} error codes".format(len(errcode_map)))
print("highest error code: " + max(all_errors))
print
print("* {0} error codes".format(len(errcode_map)))
print("* highest error code: " + max(all_errors))
print
if errors:
sys.exit(1)

4
src/etc/featureck.py
View File

@ -234,10 +234,8 @@ for s in stats:
lines.sort()
print
print "Rust feature summary:"
print
for line in lines:
print line
print "* " + line
print