Merge pull request #1874 from taosdata/hotfix/fix-coverity-scan-make-command

fixup: fix make command to make coverity_scan work.
This commit is contained in:
Shengliang Guan 2020-05-11 20:00:46 +08:00 committed by GitHub
commit bd49f05819
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -115,7 +115,7 @@ matrix:
# The command that will be added as an argument to "cov-build" to compile your project for analysis,
# ** likely specific to your build **
build_command: make > /dev/null
build_command: make
# Pattern to match selecting branches that will run analysis. We recommend leaving this set to 'coverity_scan'.
# Take care in resource usage, and consider the build frequency allowances per