Add links to script sources

[can-benchmark.git] / gw-tests / genhtml / genhtml.py

diff --git a/gw-tests/genhtml/genhtml.py b/gw-tests/genhtml/genhtml.py
index 5425f5ec2a60ec06c53213a8073a5bc1ebd3f762..8906e552ee67d44c211cc36add5994851c3aad2f 100755 (executable)
--- a/gw-tests/genhtml/genhtml.py
+++ b/gw-tests/genhtml/genhtml.py
@@ -172,7 +172,8 @@ class Test:
         print >>html, "</div>"
         print >>html, "<div><img src='%s' /></div>" % (self.name+".png")
         print >>html, "<a href='./'>Raw data</a><br />"
-        print >>html, "<a href='%s'>Back to top</a>" % cdup
+        print >>html, "<a href='%s'>Script source</a><br />" % (cdup+self.name+".sh.html")
+        print >>html, "<a href='%s'>Back to top</a><br />" % cdup
         
         html.close()
 
@@ -263,7 +264,7 @@ h4 { margin: 0; }
             print test.path
             test.generateHtml()
 
-       #os.system("source-highlight -d --output-dir=. ../*.sh")
+       os.system("source-highlight -d --output-dir=. ../*.sh > /dev/null")
 
 class Page:
     def __init__(self, dimPair, valsOther, tests):