From: John Darrington <john@darrington.wattle.id.au>
Date: Thu, 18 Aug 2016 15:44:47 +0000 (+0200)
Subject: Re-enable the relocation feature.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0b44225a7e2f2b11b2eb2fa42affae93e2e97f60;p=pspp

Re-enable the relocation feature.

Problem reported by Harry
---

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);