]> www.infradead.org Git - users/dwmw2/openconnect.git/commitdiff
Fix PATH
authorDavid Woodhouse <dwmw2@infradead.org>
Mon, 7 Oct 2019 16:25:11 +0000 (17:25 +0100)
committerDavid Woodhouse <dwmw2@infradead.org>
Mon, 7 Oct 2019 16:25:11 +0000 (17:25 +0100)
Signed-off-by: David Woodhouse <dwmw2@infradead.org>
.gitlab-ci.yml

index d257d6bcbb50d1d2b1c552582bb2b8a8c5ae8568..ae0f931629e0b80c8d881735374046f6a939027c 100644 (file)
@@ -103,12 +103,13 @@ Fedora/Coverity:
   - tar xfz /tmp/cov-analysis-linux64.tgz
   - export COVBIN=`pwd`/cov-analysis-linux64-*/bin
   - export PATH=$COVBIN:$PATH
+  - echo $COVBIN - $PATH
   - ./autogen.sh
   - ./configure --with-java --without-gnutls --with-openssl --disable-dsa-tests
-  - cov-build --dir cov-int make -j4
+  - ./cov-analysis-linux64-*/bin/cov-build --dir cov-int make -j4
   - make clean
   - ./configure --with-java --disable-dsa-tests
-  - cov-build --dir cov-int make -j4
+  - ./cov-analysis-linux64-*/bin/cov-build --dir cov-int make -j4
   - tar cfz cov-int.tar.gz cov-int
   - curl --form token=$COVERITY_SCAN_TOKEN
     --form email=dwmw2@infradead.org --form file=@cov-int.tar.gz --form version="`git describe --tags`"