diff options
-rwxr-xr-x | BuildTools/Coverage/FilterLCovData.py (renamed from tools/coverage/FilterLCovData.py) | 0 | ||||
-rwxr-xr-x | BuildTools/Coverage/GenerateCoverageResults.sh (renamed from tools/coverage/GenerateCoverageResults.sh) | 4 | ||||
-rwxr-xr-x | BuildTools/Coverage/GenerateOverview.py (renamed from tools/coverage/GenerateOverview.py) | 0 | ||||
-rwxr-xr-x | BuildTools/Coverage/GenerateSummary.py (renamed from tools/coverage/GenerateSummary.py) | 0 | ||||
-rw-r--r-- | BuildTools/Coverage/descriptions.txt (renamed from tools/coverage/descriptions.txt) | 0 |
5 files changed, 2 insertions, 2 deletions
diff --git a/tools/coverage/FilterLCovData.py b/BuildTools/Coverage/FilterLCovData.py index 8d56a7f..8d56a7f 100755 --- a/tools/coverage/FilterLCovData.py +++ b/BuildTools/Coverage/FilterLCovData.py diff --git a/tools/coverage/GenerateCoverageResults.sh b/BuildTools/Coverage/GenerateCoverageResults.sh index f006e4b..d3e6b12 100755 --- a/tools/coverage/GenerateCoverageResults.sh +++ b/BuildTools/Coverage/GenerateCoverageResults.sh @@ -14,10 +14,10 @@ if [ "$?" != 0 ]; then fi SOURCE_DIR=. -SCRIPT_DIR=tools/coverage +SCRIPT_DIR=Tools/Coverage LCOVDIR=3rdParty/LCov -RESULTS_DIR=tools/coverage/results +RESULTS_DIR=Tools/Coverage/results OUTPUT_DIR=$RESULTS_DIR/coverage-`git log --pretty=format:%ct-%h | head -n 1` make -C $SOURCE_DIR diff --git a/tools/coverage/GenerateOverview.py b/BuildTools/Coverage/GenerateOverview.py index 8928afd..8928afd 100755 --- a/tools/coverage/GenerateOverview.py +++ b/BuildTools/Coverage/GenerateOverview.py diff --git a/tools/coverage/GenerateSummary.py b/BuildTools/Coverage/GenerateSummary.py index ec94a4f..ec94a4f 100755 --- a/tools/coverage/GenerateSummary.py +++ b/BuildTools/Coverage/GenerateSummary.py diff --git a/tools/coverage/descriptions.txt b/BuildTools/Coverage/descriptions.txt index 5b07e04..5b07e04 100644 --- a/tools/coverage/descriptions.txt +++ b/BuildTools/Coverage/descriptions.txt |