diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2018-03-12 15:39:21 +0100 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2018-03-12 15:39:21 +0100 |
commit | 748c59b110ee9065abce59eb22d2b23f1a4478ac (patch) | |
tree | 533c80171edd697dc1723833e63b2cf93f458db3 /.travis.yml | |
parent | fuzz-dhcp-server: fix name of options file (diff) | |
download | systemd-748c59b110ee9065abce59eb22d2b23f1a4478ac.tar.gz systemd-748c59b110ee9065abce59eb22d2b23f1a4478ac.tar.bz2 systemd-748c59b110ee9065abce59eb22d2b23f1a4478ac.zip |
Rename scripts/coverity.sh to tools/coverity.sh
There are only two files in tools/, I don't think we need a separate
directory for them.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 1f09a78fa..fc1358687 100644 --- a/.travis.yml +++ b/.travis.yml @@ -96,7 +96,7 @@ jobs: -v ${TOOL_BASE}:${TOOL_BASE}:ro \ --name travis_coverity_scan ${DOCKER_REPOSITORY}:${TRAVIS_COMMIT} bash # Make sure Coverity script is executable - - docker cp scripts/coverity.sh travis_coverity_scan:/usr/local/bin + - docker cp tools/coverity.sh travis_coverity_scan:/usr/local/bin # Preconfigure with meson to prevent Coverity from capturing meson metadata # Set compiler flag to prevent emit failure - docker exec -it travis_coverity_scan sh -c "CFLAGS='-D_Float128=long\ double' meson cov-build -Dman=false" |