diff options
author | Josh Durgin <josh.durgin@dreamhost.com> | 2011-06-07 10:06:58 -0700 |
---|---|---|
committer | Josh Durgin <josh.durgin@dreamhost.com> | 2011-06-07 13:29:21 -0700 |
commit | b32f00ebe32fd57264a1527641cfb7cd0844e81f (patch) | |
tree | cb4084258efefe91dd0f093f570d597d9f0ab96f /src/ceph-coverage.in | |
parent | 0eda7195021121fb9c0db8f37d1e005d66b31800 (diff) | |
download | ceph-b32f00ebe32fd57264a1527641cfb7cd0844e81f.tar.gz |
coverage: add ceph-coverage to run something with the right GCOV_PREFIX_STRIP
Signed-off-by: Josh Durgin <josh.durgin@dreamhost.com>
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 00000000000..85e833955bb --- /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 "$@" |