#!/bin/sh if [ -z "${NO_VALGRING}" ]; then exec valgrind --leak-check=full --show-leak-kinds=all "$0".real "$@" else exec "$0".real "$@" fi