diff options
| author | Jack Lloyd <[email protected]> | 2018-11-17 20:17:46 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-11-17 20:17:46 -0500 |
| commit | d61c12773d8185f95174c3ea710e6610f1428cb6 (patch) | |
| tree | 8843364268d32e2e3eb8cb6fe7e117afed9c999b /src/configs | |
| parent | 82324d3993aa40ac7a24db6b2d40d7edf129276e (diff) | |
Attempt to fix Sonar build problem
The build is timing out. Use -Os instead of -O3 in an attempt to
speed up the build step, and enable multithreaded analysis as
that step is also quite slow.
Diffstat (limited to 'src/configs')
| -rw-r--r-- | src/configs/sonar-project.properties | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/configs/sonar-project.properties b/src/configs/sonar-project.properties index 574c19051..38c214642 100644 --- a/src/configs/sonar-project.properties +++ b/src/configs/sonar-project.properties @@ -3,6 +3,8 @@ sonar.host.url=https://sonarcloud.io sonar.organization=randombit-github sonar.projectKey=botan +sonar.cfamily.threads=3 + sonar.projectName=Botan sonar.sources=src sonar.language=cpp |