gui: Mark print_startup_time() unused to avoid warning.

[pspp] / src / ui / gui / main.c

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index d2513e8ec8ad6eafe1da3cd1e2aa1cb65d16834c..d1a4798fd11574b3933f09f0e59b54b616abd818 100644 (file)
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -160,7 +160,7 @@ startup_option_callback (int id, void *show_splash_)
     }
 }
 
-static gboolean
+static gboolean UNUSED
 print_startup_time (gpointer data)
 {
   g_timer_stop (startup);