Skip to content
Snippets Groups Projects
Commit 82833232 authored by Matthieu Schaller's avatar Matthieu Schaller
Browse files

Only activate the profiler if the user asks for it.

parent b141d944
No related branches found
No related tags found
1 merge request!542Add mapper-specific profiling capabilities and makes `space_getsid` inlinable
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
configure.ac
+ 1
− 1
View file @ 82833232
...@@ -678,7 +678,7 @@ AC_ARG_WITH([profiler], ...@@ -678,7 +678,7 @@ AC_ARG_WITH([profiler],
[use cpu profiler library or specify the directory with lib @<:@yes/no@:>@] [use cpu profiler library or specify the directory with lib @<:@yes/no@:>@]
)], )],
[with_profiler="$withval"], [with_profiler="$withval"],
[with_profiler="yes"] [with_profiler="no"]
) )
if test "x$with_profiler" != "xno"; then if test "x$with_profiler" != "xno"; then
if test "x$with_profiler" != "xyes" -a "x$with_profiler" != "x"; then if test "x$with_profiler" != "xyes" -a "x$with_profiler" != "x"; then
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment