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

diff --git a/src/ui/terminal/main.c b/src/ui/terminal/main.c
index 2f7d1fbe..b95ae2e3 100644
--- a/src/ui/terminal/main.c
+++ b/src/ui/terminal/main.c
@@ -58,6 +58,10 @@
 #include <fenv.h>
 #endif
 
+#if HAVE_IEEEFP_H
+#include <ieeefp.h>
+#endif
+
 #include "gettext.h"
 #define _(msgid) gettext (msgid)
 
@@ -88,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 ();
@@ -158,6 +163,8 @@ fpu_init (void)
   feholdexcept (&foo);
 #elif HAVE___SETFPUCW && defined(_FPU_IEEE)
   __setfpucw (_FPU_IEEE);
+#elif HAVE_FPSETMASK
+  fpsetmask (0);
 #endif
 }