[gtksourceview] build: fix pagination timer when not profiling

[Christian Hergert <chergert src gnome org>]

commit aca655b1f6a7b73f0b70789762e9e8fe44ba2c82
Author: Christian Hergert <chergert redhat com>
Date:   Thu Sep 24 11:40:16 2020 -0700

    build: fix pagination timer when not profiling

 gtksourceview/gtksourceprintcompositor.c | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/gtksourceview/gtksourceprintcompositor.c b/gtksourceview/gtksourceprintcompositor.c
index f5441c5e..b1c792e5 100644
--- a/gtksourceview/gtksourceprintcompositor.c
+++ b/gtksourceview/gtksourceprintcompositor.c
@@ -2580,7 +2580,9 @@ gtk_source_print_compositor_paginate (GtkSourcePrintCompositor *compositor,
        {
                if (GTK_SOURCE_PROFILER_ACTIVE)
                {
+#ifdef GTK_SOURCE_PROFILER_ENABLED
                        priv->pagination_timer = GTK_SOURCE_PROFILER_CURRENT_TIME;
+#endif
                }
 
                g_return_val_if_fail (priv->pages == NULL, TRUE);