diff options
author | Sam Spilsbury <smspillaz@gmail.com> | 2015-06-17 06:49:19 +0800 |
---|---|---|
committer | Philip Chimento <philip@endlessm.com> | 2015-07-21 14:41:25 -0700 |
commit | 92984eb3ff62caa7bb83ea8117023bb89e1545dd (patch) | |
tree | b26fd426fa717424b17e2b094218a7856ffeef29 /m4 | |
parent | e660a7d9e715b597494dea8d545afbb75c81ae53 (diff) |
eos-coverage: Use flag to specify coverage directory
Previously we used an environment variable, but environment
variables are not propogated unless make -e is used on
distcheck builds. A flag is safer.
Use --with-coverage-dir=DIRECTORY to specify it.
[endlessm/eos-sdk#3303]
Diffstat (limited to 'm4')
-rw-r--r-- | m4/eos-coverage.m4 | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/m4/eos-coverage.m4 b/m4/eos-coverage.m4 index b21e3da..c023174 100644 --- a/m4/eos-coverage.m4 +++ b/m4/eos-coverage.m4 @@ -126,9 +126,12 @@ AC_DEFUN_ONCE([EOS_COVERAGE_REPORT], [ ]) AC_MSG_CHECKING([where to put coverage data]) - AC_ARG_VAR([EOS_COVERAGE_DIR], [Where to put coverage data]) EOS_DEFAULT_COVERAGE_DIR='$(abs_top_builddir)/_coverage' - AS_IF([test -n "$EOS_COVERAGE_DIR"], [ + AC_ARG_WITH([coverage-dir], [ + AS_HELP_STRING([--with-coverage-dir=DIRECTORY], + [Where to put coverage reports @<:@default=_coverage@:>@]) + ], [ + EOS_COVERAGE_DIR="$withval" AC_MSG_RESULT([in $EOS_COVERAGE_DIR]) ], [ EOS_COVERAGE_DIR="$EOS_DEFAULT_COVERAGE_DIR" |