X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=d1a4798fd11574b3933f09f0e59b54b616abd818;hb=14125d13946c1b2c3b7efe6cb88e35aa4623210b;hp=d2513e8ec8ad6eafe1da3cd1e2aa1cb65d16834c;hpb=ad53d0d95c54eb5c3551b15c6a33c6498dab184c;p=pspp

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index d2513e8ec8..d1a4798fd1 100644
--- 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);