[gtk/wip/chergert/fix-autotools-enable-profiler] build: fix --enable-profiler=no
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtk/wip/chergert/fix-autotools-enable-profiler] build: fix --enable-profiler=no
- Date: Mon, 24 Jun 2019 23:18:42 +0000 (UTC)
commit 73273f5170876b22052af70239864a59f1e5a84c
Author: Christian Hergert <chergert redhat com>
Date: Mon Jun 24 16:16:25 2019 -0700
build: fix --enable-profiler=no
This fixes the --enable-profiler=no or --disable-profiler option.
Fixes #1965
configure.ac | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
---
diff --git a/configure.ac b/configure.ac
index eebc6e6f4d..d0d1e23fcf 100644
--- a/configure.ac
+++ b/configure.ac
@@ -357,7 +357,8 @@ AC_ARG_ENABLE(cloudproviders,
AC_ARG_ENABLE(profiler,
[AS_HELP_STRING([--enable-profiler],
[enable profiler integration])],
- [profiler_set=yes])
+ [profiler_set=yes],
+ [profiler_set=no])
if test -z "$backend_set"; then
if test "$platform_win32" = yes; then
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]