diff options
-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 +} |