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