--- /dev/null
+#!/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 "$@"