diff options
author | Remko Tronçon <git@el-tramo.be> | 2012-12-31 13:00:20 (GMT) |
---|---|---|
committer | Remko Tronçon <git@el-tramo.be> | 2012-12-31 13:02:57 (GMT) |
commit | 0c8499e78e0f0b7587bd5b656f50b2934afb273e (patch) | |
tree | d73c12b22ebfc6ad9e26e089376eec8b877f78d3 | |
parent | 4afacac4643efd03cf9d1fd5578e647ba1f32ac1 (diff) | |
download | swift-0c8499e78e0f0b7587bd5b656f50b2934afb273e.zip swift-0c8499e78e0f0b7587bd5b656f50b2934afb273e.tar.bz2 |
New FilterScanBuildResults.py script.
Change-Id: I5d22bbcebd4626c8878d224b47768f3cc1318b07
-rwxr-xr-x | BuildTools/FilterScanBuildResults.py | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/BuildTools/FilterScanBuildResults.py b/BuildTools/FilterScanBuildResults.py new file mode 100755 index 0000000..05c9051 --- /dev/null +++ b/BuildTools/FilterScanBuildResults.py @@ -0,0 +1,25 @@ +#!/usr/bin/env python + +import os, os.path, sys + +resultsDir = sys.argv[1] +resultDirs = [ d for d in os.listdir(resultsDir) if os.path.isdir(os.path.join(resultsDir, d)) ] +resultDirs.sort() +if len(resultDirs) > 0 : + resultFileName = os.path.join(resultsDir, resultDirs[-1], "index.html") + resultData = [] + f = open(resultFileName, "r") + skipLines = 0 + for line in f.readlines() : + if skipLines > 0 : + skipLines -= 1 + else : + if "3rdParty" in line or "SHA1.cpp" in line or "lua.c" in line : + skipLines = 2 + else : + resultData.append(line) + f.close() + + f = open(resultFileName, "w") + f.writelines(resultData) + f.close() |