diff options
author | Bjørn Christian Seime <bjorncs@yahoo-inc.com> | 2017-06-14 14:06:05 +0200 |
---|---|---|
committer | Bjørn Christian Seime <bjorncs@yahoo-inc.com> | 2017-06-14 14:06:05 +0200 |
commit | db7a9ce51430a65a124b5142481906b6a4733170 (patch) | |
tree | aae5c8027784936fcf5ddde8eb102a6c632af82c /docker | |
parent | 76c3b06931431c68d467106f417acf78ef627088 (diff) |
Print executed commands to stdout
Diffstat (limited to 'docker')
-rwxr-xr-x | docker/vespa-ci-internal.sh | 1 | ||||
-rwxr-xr-x | docker/vespa-ci.sh | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/docker/vespa-ci-internal.sh b/docker/vespa-ci-internal.sh index dd0fed2dec4..caa64824044 100755 --- a/docker/vespa-ci-internal.sh +++ b/docker/vespa-ci-internal.sh @@ -1,5 +1,6 @@ #!/bin/bash set -e +set -x if [ $# -ne 1 ]; then echo "Usage: $0 <git commit>" 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>" |