diff options
author | Philip Chimento <philip@endlessm.com> | 2015-08-25 14:47:21 -0700 |
---|---|---|
committer | Philip Chimento <philip@endlessm.com> | 2015-08-26 09:26:23 -0700 |
commit | 8bbad1b7fdfb1d0fdc4dba3f824692c5ed53d67a (patch) | |
tree | 249aebe1481a792cf99baa7aeea41ac58c5fabf6 | |
parent | 748ba3dbdc098ab8df5d6f844341ffdb8aa0e38e (diff) |
Handle empty --with-coverage-dir argument
If configured without any --with-coverage-dir, then the makefile would
pass --with-coverage-dir= to make distcheck's configure flags, which
would end up trying to write coverage data to /output.
This changes --with-coverage-dir so that an empty argument means to use
the default value.
[endlessm/eos-sdk#3540]
-rw-r--r-- | m4/eos-coverage.m4 | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/m4/eos-coverage.m4 b/m4/eos-coverage.m4 index f2672dc..0adb4d0 100644 --- a/m4/eos-coverage.m4 +++ b/m4/eos-coverage.m4 @@ -135,10 +135,12 @@ AC_DEFUN_ONCE([EOS_COVERAGE_REPORT], [ [Where to put coverage reports @<:@default=_coverage@:>@]) ], [ EOS_COVERAGE_DIR="$withval" - AC_MSG_RESULT([in $EOS_COVERAGE_DIR]) - ], [ + ]) + AS_IF([test -z "$EOS_COVERAGE_DIR"], [ EOS_COVERAGE_DIR="$EOS_DEFAULT_COVERAGE_DIR" AC_MSG_RESULT([in default location (_coverage)]) + ], [ + AC_MSG_RESULT([in $EOS_COVERAGE_DIR]) ]) AS_IF([test "x$EOS_HAVE_C_COVERAGE" = "xyes" || test "x$EOS_HAVE_JS_COVERAGE" = "xyes"], [ |