diff options
-rwxr-xr-x | test_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test_build.sh b/test_build.sh index b2320b836..4d6570b2d 100755 --- a/test_build.sh +++ b/test_build.sh @@ -13,7 +13,7 @@ make_programmer_opts="INTERNAL INTERNAL_X86 SERPROG RAYER_SPI RAIDEN_DEBUG_SPI P CH341A_SPI DIGILENT_SPI JLINK_SPI" -if [ $(basename "${CC}") = "ccc-analyzer" ]; then +if [ $(basename "${CC}") = "ccc-analyzer" ] || [ -n "${COVERITY_OUTPUT}" ]; then is_scan_build_env=1 fi |