33f3c32 ^
5660541 ^
fb7d719 ^
1
2
3
4 5 6 7 8
#!/bin/sh if [ -z "${NO_VALGRIND}" ]; then exec valgrind --leak-check=full --show-leak-kinds=all "$0".real "$@" else exec "$0".real "$@" fi