X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=pref.h.orig;h=e67f4cf859279e26359fb51db97aca6b8b8b9c88;hb=009350385d97d9fba2b33ea68cfe8b1aeebf1529;hp=f17dd334a508ace00b52f6198b08c9a3ca004e06;hpb=ece7245b6bf64b2d3d8a50472d18bbe176c982d4;p=pspp-builds.git

diff --git a/pref.h.orig b/pref.h.orig
index f17dd334..e67f4cf8 100644
--- a/pref.h.orig
+++ b/pref.h.orig
@@ -59,28 +59,12 @@
 
 /* Filesystems. */
 
-/* Directory separator and path delimiter for this OS. */
-#ifndef __MSDOS__
-#define DIR_SEPARATOR '/'
-#define PATH_DELIMITER ':'
-#else
-#define DIR_SEPARATOR '\\'
-#define PATH_DELIMITER ';'
-#endif
-
 /* Options. */
 
 /* Approximate amount of memory, in bytes, to allocate before paging
    to disk.  */
 #define MAX_WORKSPACE (4*1024*1024)	/* 4 MBytes */
 
-/* (libhistory) The location for the history file that records
-   commands entered interactively.  Tilde expansion is performed. */
-#define HISTORY_FILE "~/.pspp_history"
-
-/* (libhistory) Maximum number of commands to record in history
-   file. */
-#define MAX_HISTORY 500
 
 /* Non ansi compilers may set this */
 #ifndef P_tmpdir