mariadb/have_profiling.require at 017c9698965ea4eac378d5ff9d8f9312e5b51e8e - mariadb - GitFox

database/mariadb

mirror of https://github.com/MariaDB/server.git synced 2025-08-29 00:08:14 +03:00

Files

Jon Olav Hauglid 0eccb93214 Bug #44651 "have_community_features" variable should be renamed

"have_profiling"

1) Renamed have_community_features server system variable to
have_profiling.
2) Removed eable-community-features configure option and
ENABLE_COMMUNITY_FEATURES macro.
3) Removed COMMUNITY_SERVER macro and replaced its usage by 
ENABLED_PROFILING.

Only --enable-profiling is now needed to enable profiling.
It was the only existing "community feature", so there was
no need for both configure options.

Using --enable-community-features will give a warning message
since it no longer exists.

2009-10-09 15:59:25 +02:00

3 lines

40 B

Plaintext

Raw Blame History

	`Variable_name Value`
	`have_profiling YES`