diff options
| author | Bjorn Munch <bjorn.munch@oracle.com> | 2011-05-25 12:39:11 +0200 |
|---|---|---|
| committer | Bjorn Munch <bjorn.munch@oracle.com> | 2011-05-25 12:39:11 +0200 |
| commit | eb8586236662b6715a0fd852286ab0d1c56ad90b (patch) | |
| tree | 6e877ecd8fef366212e23f9276d7314443587cab /cmake | |
| parent | d7334d8d859b787bfb4a3dd508618675dd2d85d9 (diff) | |
| download | mariadb-git-eb8586236662b6715a0fd852286ab0d1c56ad90b.tar.gz | |
Bug #12586211 ENABLE GCOV BUILDS WITH CMAKE, INCLUDING PLUGINS
Added --with-gcov option to configure.pl and use that from SETUP.sh
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/configure.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/cmake/configure.pl b/cmake/configure.pl index b24afa034c7..bf872264953 100644 --- a/cmake/configure.pl +++ b/cmake/configure.pl @@ -190,6 +190,11 @@ foreach my $option (@ARGV) $cmakeargs = $cmakeargs." \"-DWITH_COMMENT=".substr($option,13)."\""; next; } + if ($option =~ /with-gcov/) + { + $cmakeargs = $cmakeargs." -DENABLE_GCOV=ON"; + next; + } $option = uc($option); $option =~ s/-/_/g; |