X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=pref.h.orig;h=6ae2299720c115667a136d430f554b796aad1d81;hb=7aa79c8aa254a2dc612eccdd1d3be1070e809b4d;hp=434d9aacbf97dc4072838e86a458d133f89c1c34;hpb=7b98b3a4f58f6dc5a8e9cbc188b627966d5e652d;p=pspp

diff --git a/pref.h.orig b/pref.h.orig
index 434d9aacbf..6ae2299720 100644
--- a/pref.h.orig
+++ b/pref.h.orig
@@ -100,7 +100,7 @@
 /* Directory separator character for this OS, if applicable. */
 #ifndef __MSDOS__
 #define DIR_SEPARATOR '/'
-#elif
+#else
 #define DIR_SEPARATOR '\\'
 #endif
 
@@ -133,3 +133,8 @@
 /* Define to exclude the PostScript and Encapsulated PostScript
    driver. */
 /* #define NO_POSTSCRIPT 1 */
+
+/* Non ansi compilers may set this */
+#ifndef P_tmpdir
+#define P_tmpdir "/tmp"
+#endif