diff options
| author | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2016-04-12 14:21:04 +0200 |
|---|---|---|
| committer | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2016-04-12 14:55:15 +0200 |
| commit | ac670b2b4c8336c6d2d67322d928ec6b6c576be6 (patch) | |
| tree | 2e913bc20374a18dbd24b221bfaa01bc2b6b9d0c /configure.ac | |
| parent | a4fd1120e9c9b237047086f798fab8ffc60b759e (diff) | |
| download | gnutls-ac670b2b4c8336c6d2d67322d928ec6b6c576be6.tar.gz | |
configure: Add a code coverage option
Configure with:
./configure --enable-code-coverage
Show coverage output with:
make && make check && make code-coverage-capture
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index ca8a18924d..29879e1163 100644 --- a/configure.ac +++ b/configure.ac @@ -46,6 +46,8 @@ AM_PROG_CC_C_O AC_PROG_YACC AC_PROG_SED +AX_CODE_COVERAGE + AC_ARG_ENABLE(doc, AS_HELP_STRING([--disable-doc], [don't generate any documentation]), enable_doc=$enableval, enable_doc=yes) |