diff options
Diffstat (limited to 'src/test/docker-test-helper.sh')
| -rwxr-xr-x | src/test/docker-test-helper.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/docker-test-helper.sh b/src/test/docker-test-helper.sh index 9ca0809c04d..797e37c8df0 100755 --- a/src/test/docker-test-helper.sh +++ b/src/test/docker-test-helper.sh @@ -284,7 +284,7 @@ function main_docker() { ;; --verbose) set -xe - PS4='${FUNCNAME[0]}: $LINENO: ' + PS4='${BASH_SOURCE[0]}:$LINENO: ${FUNCNAME[0]}: ' shift ;; -s|--shell) |