2 files changed, 0 insertions, 35 deletions
diff --git a/BuildTools b/BuildTools
new file mode 160000
+Subproject b6864b9b41e259534e2889693422f5a3f36f2b4
diff --git a/BuildTools/Coverage/GenerateSummary.py b/BuildTools/Coverage/GenerateSummary.py
deleted file mode 100755
index ec94a4f..0000000
--- a/BuildTools/Coverage/GenerateSummary.py
+++ /dev/null
@@ -1,35 +0,0 @@
-#!/usr/bin/env python
-
-import sys, re
-
-assert(len(sys.argv) == 3)
-
-inputFile = open(sys.argv[1])
-currentFile = ""
-coverage = {}
-for line in inputFile.readlines() :
-  line = line.strip()
-  m = re.match("^SF:(.*)", line)
-  if m :
-    currentFile = m.group(1)
-  else :
-    m = re.match("^DA:(\d+),(\d+)", line)
-    if m :
-      currentFileCoverage = coverage.get(currentFile, {})
-      line = int(m.group(1))
-      count = int(m.group(2))
-      currentFileCoverage[line] = currentFileCoverage.get(line, 0) + count
-      coverage[currentFile] = currentFileCoverage
-inputFile.close()
-
-totalLines = 0
-coveredLines = 0
-for c in coverage.values() :
-  totalLines += len(c)
-  for l in c.values() :
-    if l > 0 :
-      coveredLines += 1
-
-outputFile = open(sys.argv[2], 'w')
-outputFile.write(str(coveredLines) + "/" + str(totalLines))
-outputFile.close()