X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fmain.c;h=157a0dc8f4bd8ed94bfe4268df3bbe6c1fd62055;hb=1c34ef6b7f0a6af23141cb117429ab46f8c3a6c5;hp=7fa660df84349806386d4c6c3e424ba7e18d4b82;hpb=fd4b99dc5367c6cd8f4ef2d9a151d001676eef7f;p=pspp

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 7fa660df84..157a0dc8f4 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -161,7 +161,7 @@ on_local_options (GApplication * application,
       start_time = g_get_monotonic_time ();
   }
 
-  
+
   return -1;
 }
 
@@ -283,6 +283,8 @@ process_pre_start_arguments (int *argc, char ***argv)
 int
 main (int argc, char *argv[])
 {
+  set_program_name (argv[0]);
+
   GtkApplication *app =
     gtk_application_new ("gnu.pspp", G_APPLICATION_HANDLES_OPEN);