diff options
Diffstat (limited to 'src/ceph-coverage.in')
-rw-r--r-- | src/ceph-coverage.in | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/src/ceph-coverage.in b/src/ceph-coverage.in new file mode 100644 index 000000000..85e833955 --- /dev/null +++ b/src/ceph-coverage.in @@ -0,0 +1,25 @@ +#!/bin/sh +set -e + +export GCOV_PREFIX_STRIP=@@GCOV_PREFIX_STRIP@@ + +usage () { + printf '%s: usage: %s OUTPUTDIR COMMAND [ARGS..]\n' "$(basename "$0")" "$(basename "$0")" 1>&2 + exit 1 +} + +export GCOV_PREFIX="$1" +[ -n "$GCOV_PREFIX" ] || usage +shift + +case "$GCOV_PREFIX" in + /*) + # absolute path -> ok + ;; + *) + # make it absolute + GCOV_PREFIX="$PWD/$GCOV_PREFIX" + ;; +esac + +exec "$@" |