X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=a7e09af8064513d130dfd57fd892dd68f4fd1ad1;hb=0bfcecb94112d3e4e310e541ce9641b765709fb0;hp=894a2147fc28b11d4434414e7aa562a89423368b;hpb=01fc7026c655cbea3e0de1e05ace3865d6247513;p=pspp

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 894a2147fc..a7e09af806 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -95,8 +95,8 @@ init_dispatch (GSource * ss, GSourceFunc callback, gpointer user_data)
 static GSourceFuncs init_funcs =
   { init_prepare, init_check, init_dispatch, NULL, NULL, NULL };
 
-GtkWidget *wsplash = 0;
-gint64 start_time = 0;
+static GtkWidget *wsplash = 0;
+static gint64 start_time = 0;
 
 
 static GtkWidget *