From: Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Date: Mon, 12 Mar 2018 14:39:21 +0000 (+0100)
Subject: Rename scripts/coverity.sh to tools/coverity.sh
X-Git-Tag: v239~552^2~2
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=748c59b110ee9065abce59eb22d2b23f1a4478ac;p=platform%2Fupstream%2Fsystemd.git

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.
---

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