diff --git a/scripts/coverity.sh b/scripts/coverity.sh index b17d814..99e4809 100755 --- a/scripts/coverity.sh +++ b/scripts/coverity.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Taken from: https://scan.coverity.com/scripts/travisci_build_coverity_scan.sh # Local changes are annotated with "#[local]"