X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fmain.c;h=b95ae2e3a2662675ec299c27d8f8f98dd6cbc6a5;hb=732b6a86124e89e24d685ed785d2df55728eb01b;hp=e2cd180d9d03a58506228333c0ed729d1af82876;hpb=c97f6581b874c6057dbd4d581552774a3ed56ac5;p=pspp-builds.git

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index e2cd180d..b95ae2e3 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -92,7 +92,8 @@ main (int argc, char **argv)
   signal (SIGFPE, bug_handler);
   signal (SIGINT, interrupt_handler);
 
-  set_program_name ("pspp");
+  set_program_name (argv[0]);
+
   i18n_init ();
   fpu_init ();
   gsl_set_error_handler_off ();