X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=9733e54d7547fb20beeb3e2fcc7e85ead9f2cf6f;hb=06033ee856ec75ed98dc7f4b5bf2c61876650fdf;hp=7fa660df84349806386d4c6c3e424ba7e18d4b82;hpb=fd4b99dc5367c6cd8f4ef2d9a151d001676eef7f;p=pspp

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index 7fa660df84..9733e54d75 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -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);