X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmessage.c;h=a7f226a8b4b31248949f03ed0c2c2961bbde132b;hb=793b1e4345762d98ecc0ffbf6ace0b901c0b52b5;hp=35debc7f6eec0e13cb35195a34c4469717ea6f36;hpb=9c8c1170e3b3cb59f9bf8fe6b27ecba7067b8cfa;p=pspp-builds.git

diff --git a/src/message.c b/src/message.c
index 35debc7f..a7f226a8 100644
--- a/src/message.c
+++ b/src/message.c
@@ -30,6 +30,7 @@
 #include <data/settings.h>
 #include <ui/terminal/read-line.h>
 #include <libpspp/version.h>
+#include "exit.h"
 #include "linebreak.h"
 #include "progname.h"
 
@@ -102,15 +103,6 @@ err_check_count (void)
   getl_abort_noninteractive ();
 }
 
-/* Some machines are broken.  Compensate. */
-#ifndef EXIT_SUCCESS
-#define EXIT_SUCCESS 0
-#endif
-
-#ifndef EXIT_FAILURE
-#define EXIT_FAILURE 1
-#endif
-
 static void puts_stdout (int line_indent, const char *line, size_t length);
 static void dump_message (char *msg,
                           void (*func) (int line_indent,