From f962edda0023a07554342cb7a0aaabd15ad1c8ff Mon Sep 17 00:00:00 2001 From: Michael Rash Date: Sun, 19 Apr 2015 19:37:06 -0700 Subject: [PATCH] [extras] update Coverity installation path --- extras/coverity/coverity_scan.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extras/coverity/coverity_scan.sh b/extras/coverity/coverity_scan.sh index 8b1eb508..73f9a4cc 100755 --- a/extras/coverity/coverity_scan.sh +++ b/extras/coverity/coverity_scan.sh @@ -1,7 +1,7 @@ #!/bin/sh +x make clean -export PATH=$PATH:/home/mbr/coverity/cov-analysis-linux64-7.5.0/bin +export PATH=$PATH:/home/mbr/coverity/cov-analysis-linux64-7.6.0/bin cov-build --dir cov-int make tar cvfz fwknop.tgz cov-int