diff --git a/extras/coverity/coverity_scan.sh b/extras/coverity/coverity_scan.sh index 9fa4e3dc..b248e71d 100755 --- a/extras/coverity/coverity_scan.sh +++ b/extras/coverity/coverity_scan.sh @@ -1,4 +1,8 @@ #!/bin/sh +x +# +# Download the latest Coverity scan build here: +# https://scan.coverity.com/download +# make clean ./extras/apparmor/configure_args.sh