diff options
author | Bjørn Christian Seime <bjorn.christian@seime.no> | 2017-06-14 14:19:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-14 14:19:12 +0200 |
commit | b7f9e7ceaef72489d76683537973b639f8895b84 (patch) | |
tree | ad4d81b8c5b1915c08b248341c7a99d98b635bce /docker/vespa-ci.sh | |
parent | 151865f9c4357895f4a4ccbe41797a0b8a8cc85f (diff) | |
parent | db7a9ce51430a65a124b5142481906b6a4733170 (diff) |
Merge pull request #2769 from yahoo/bjorncs/docker-ci
Bjorncs/docker ci
Diffstat (limited to 'docker/vespa-ci.sh')
-rwxr-xr-x | docker/vespa-ci.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docker/vespa-ci.sh b/docker/vespa-ci.sh index decb6e1201b..58705eae339 100755 --- a/docker/vespa-ci.sh +++ b/docker/vespa-ci.sh @@ -1,5 +1,6 @@ #!/bin/bash set -e +set -x if [ $# -ne 1 ]; then echo "Usage: $0 <git commit>" |