diff options
author | Martin Kulhavy <martin.kulhavy@nokia.com> | 2017-08-22 14:07:07 +0300 |
---|---|---|
committer | Martin Kulhavy <martin.kulhavy@nokia.com> | 2017-08-22 14:07:07 +0300 |
commit | e4212ab9dc23be9d0aa9f2593e20c78aa0e9c2c2 (patch) | |
tree | b04f4bccb0b5190ab8c89eedae0ea42aa0a8c124 /ci/cleanvm.sh | |
parent | 026ed9cccd75b70fd09e048e9cc7d0af60365328 (diff) |
Move tools.sh to ci/common dir
This file is only sourced by other script and is not meant to be
executed (contains only functions).
Change-Id: I41253b73f720e4b7e987c5164901253c7e51ee8b
Signed-off-by: Martin Kulhavy <martin.kulhavy@nokia.com>
Diffstat (limited to 'ci/cleanvm.sh')
-rwxr-xr-x | ci/cleanvm.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/cleanvm.sh b/ci/cleanvm.sh index 8d6fe88d..0fa6b869 100755 --- a/ci/cleanvm.sh +++ b/ci/cleanvm.sh @@ -2,7 +2,7 @@ set -x -source tools.sh +source common/tools.sh echo_info "Cleanup Started..." |