diff options
author | Edwin Kempin <ekempin@google.com> | 2017-10-11 13:21:36 +0200 |
---|---|---|
committer | Edwin Kempin <ekempin@google.com> | 2017-10-11 13:21:36 +0200 |
commit | e77b198c47c4d2fc79cf69d5cc6d17e6cec77f73 (patch) | |
tree | b5b8693fb5e677c484abadd5375e285384656602 | |
parent | 04df238daf8617d12d2ef46e5a3f2c9411186361 (diff) |
Add GitFileIsolator configuration for Tricium
This is needed to isolate the files that should be analyzed.
Change-Id: Ifc0e77fc12855f1be8fccbf841d878a8a9e4fa69
Signed-off-by: Edwin Kempin <ekempin@google.com>
-rw-r--r-- | tricium-prod.cfg | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tricium-prod.cfg b/tricium-prod.cfg index dd15408f4d..9203e67fd7 100644 --- a/tricium-prod.cfg +++ b/tricium-prod.cfg @@ -9,3 +9,8 @@ selections { analyzer: "Spacey" platform: UBUNTU } + +selections { + analyzer: "GitFileIsolator" + platform: UBUNTU +} |