Due to increase of length of log I had to made the box scroll.

diff --git a/build/index.py b/build/index.py
index d4b4981e21ee35e235f4218955209245b0b40054..3b30b9663b0ed265affce884b1bc026ef90a1574 100644 (file)
--- a/build/index.py
+++ b/build/index.py
@@ -99,6 +99,8 @@ class Site:
                                        border: 1px dotted;
                                        margin-top: 12px;
                                        /* visibility: hidden; */
+                                       height: 150px;
+                                       overflow: auto;
                                }
                                div.log p {
                                        font-family: Courier New;
@@ -230,14 +232,12 @@ class Box:
                log = self.builder.log()
                if log:
                        print """<div class="log"><p>"""
-                       for i in log:
-                               if i:
-                                       print "%s<br />" % (i.rstrip("\n"),)
+                       print "<br />".join(log)
                        print """</p></div>"""
 
        def footer(self):
-               print """<div class="footer"><p>system: %s - cpu: %s <br /> target: %s - jobs: %s - toolchain: %s</p></div>""" \
-                       % (self.builder.system(), self.builder.cpu(), self.builder.target(), self.builder.jobs(), self.builder.toolchain(),)
+               print """<div class="footer"><p>system: %s - cpu: %s <br /> machine: %s - target: %s - jobs: %s - toolchain: %s</p></div>""" \
+                       % (self.builder.system(), self.builder.cpu(), self.builder.machine(), self.builder.target(), self.builder.jobs(), self.builder.toolchain(),)
 
 class BoxCompiling(Box):
        def __init__(self, builder):