From 8283323206bb5c950c75503f96e7d311d2693ebb Mon Sep 17 00:00:00 2001
From: Matthieu Schaller <matthieu.schaller@durham.ac.uk>
Date: Fri, 11 May 2018 12:37:18 +0200
Subject: [PATCH] Only activate the profiler if the user asks for it.
---
configure.ac | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/configure.ac b/configure.ac
index 23d90e38e1..dc0f3cb965 100644
--- a/configure.ac
+++ b/configure.ac
@@ -678,7 +678,7 @@ AC_ARG_WITH([profiler],
[use cpu profiler library or specify the directory with lib @<:@yes/no@:>@]
)],
[with_profiler="$withval"],
- [with_profiler="yes"]
+ [with_profiler="no"]
)
if test "x$with_profiler" != "xno"; then
if test "x$with_profiler" != "xyes" -a "x$with_profiler" != "x"; then
--
GitLab