From 748c59b110ee9065abce59eb22d2b23f1a4478ac Mon Sep 17 00:00:00 2001 From: =?utf8?q?Zbigniew=20J=C4=99drzejewski-Szmek?= Date: Mon, 12 Mar 2018 15:39:21 +0100 Subject: [PATCH] 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. --- .travis.yml | 2 +- {scripts => tools}/coverity.sh | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename {scripts => tools}/coverity.sh (100%) diff --git a/.travis.yml b/.travis.yml index 1f09a78..fc13586 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" diff --git a/scripts/coverity.sh b/tools/coverity.sh similarity index 100% rename from scripts/coverity.sh rename to tools/coverity.sh -- 2.7.4