diff options
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>" |