diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2020-01-25 11:56:34 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2020-01-25 11:56:34 +0300 |
| commit | 027f2ca58f1a80f81205b401846a8b6c70b88fee (patch) | |
| tree | 342a8882400e917aade4baef299dc871fe2b3b07 /.travis/docker/server/setup_repo.sh | |
| parent | Travis: add the badge to README (diff) | |
| download | cgitize-027f2ca58f1a80f81205b401846a8b6c70b88fee.tar.gz cgitize-027f2ca58f1a80f81205b401846a8b6c70b88fee.zip | |
Travis: prettier test output
Diffstat (limited to '')
| -rwxr-xr-x | .travis/docker/server/setup_repo.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.travis/docker/server/setup_repo.sh b/.travis/docker/server/setup_repo.sh index 3d5b899..82ae711 100755 --- a/.travis/docker/server/setup_repo.sh +++ b/.travis/docker/server/setup_repo.sh @@ -5,6 +5,11 @@ set -o errexit -o nounset -o pipefail readonly local_repo_path="$HOME/test_repo" setup_local_repo() { + echo + echo ---------------------------------------------------------------------- + echo Setting up upstream repository + echo ---------------------------------------------------------------------- + mkdir -p -- "$local_repo_path" pushd -- "$local_repo_path" > /dev/null git init |