mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2025-01-09 12:10:09 +00:00
build: fix --enable-profiler=no
This fixes the --enable-profiler=no or --disable-profiler option. Fixes #1965
This commit is contained in:
parent
a25aa2082d
commit
e0d511b33f
@ -357,7 +357,8 @@ AC_ARG_ENABLE(cloudproviders,
|
||||
AC_ARG_ENABLE(profiler,
|
||||
[AS_HELP_STRING([--enable-profiler],
|
||||
[enable profiler integration])],
|
||||
[profiler_set=yes])
|
||||
[enable_profiler=$enableval],
|
||||
[enable_profiler=no])
|
||||
|
||||
if test -z "$backend_set"; then
|
||||
if test "$platform_win32" = yes; then
|
||||
@ -1343,7 +1344,7 @@ fi
|
||||
# Check for profiler support
|
||||
|
||||
PROFILER_PACKAGES=""
|
||||
if test "x$profiler_set" = "xyes"; then
|
||||
if test "x$enable_profiler" = "xyes"; then
|
||||
PROFILER_PACKAGES="sysprof-capture-3 >= sysprof_required_version"
|
||||
if $PKG_CONFIG --exists $PROFILER_PACKAGES; then
|
||||
AC_DEFINE(HAVE_SYSPROF_CAPTURE, [1],
|
||||
|
Loading…
Reference in New Issue
Block a user