diff options
| -rwxr-xr-x | test.d/mds-server | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test.d/mds-server b/test.d/mds-server index 0b9e27f..ab35311 100755 --- a/test.d/mds-server +++ b/test.d/mds-server @@ -1,5 +1,6 @@ #!/bin/sh +echo mds-server pid: $$ if [ -z "${NO_VALGRIND}" ]; then exec valgrind --leak-check=full --show-leak-kinds=all "$0".real "$@" else |