1
0
mirror of https://github.com/SoftEtherVPN/SoftEtherVPN.git synced 2024-12-26 18:19:53 +03:00

Merge pull request #850 from chipitsine/master

Merge PR #850: travis-ci: try to fix coverity scan
This commit is contained in:
Ilya Shipitsin 2018-12-28 19:38:28 +00:00 committed by GitHub
commit f32775ba47
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -58,6 +58,7 @@ script:
- export LD_LIBRARY_PATH="${HOME}/opt/lib:${LD_LIBRARY_PATH:-}"
- export CFLAGS="-I${HOME}/opt/include"
- export LDFLAGS="-L${HOME}/opt/lib"
- echo "check_certificate = off" > ~/.wgetrc
- .ci/coverity.sh
- ./configure
- make -j $(nproc || sysctl -n hw.ncpu || echo 4) -C tmp