diff options
author | Bjorn Munch <bjorn.munch@oracle.com> | 2011-05-26 10:18:21 +0200 |
---|---|---|
committer | Bjorn Munch <bjorn.munch@oracle.com> | 2011-05-26 10:18:21 +0200 |
commit | 33af002149d8e9358a7a37a2cc1051fde42f9fb7 (patch) | |
tree | f13e6b8e8854cbfb076ed17c518c5b7be8102550 /cmake | |
parent | 80cfb5730d68ec46cc24f25667744a87d350fb33 (diff) | |
parent | 8fc4d376f8f130e5dcc6190f038ece6ff5f04760 (diff) | |
download | mariadb-git-33af002149d8e9358a7a37a2cc1051fde42f9fb7.tar.gz |
merge from 5.5-mtr
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; |