Polish errorck and featureck UI

diff --git a/src/etc/errorck.py b/src/etc/errorck.py
index c940359abc118d8e0ef570c82fec5ccbab1572f7..9db9ed576cbe1dc41bcf0002af99fa3c2b42517d 100644 (file)
--- a/src/etc/errorck.py
+++ b/src/etc/errorck.py
@@ -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)

diff --git a/src/etc/featureck.py b/src/etc/featureck.py
index 064cf1d40ab36ce881aad53dad4d0ff841323284..71a145e4a6eb52650c454f10088f5f2856738fd0 100644 (file)
--- a/src/etc/featureck.py
+++ b/src/etc/featureck.py
@@ -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