X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fdata%2Ffile-name.h;h=427fa8dca7e70107f7cbbfb95d2760ff99ca8fc6;hb=eca977e618f2d4c6d55d9851b9714fd60e55559b;hp=f9620b035dfb6388aa25112533981aebd5a0f365;hpb=5f168bf8465ae50ba5c2c761b52f29a0500c0658;p=pspp

diff --git a/src/data/file-name.h b/src/data/file-name.h
index f9620b035d..427fa8dca7 100644
--- a/src/data/file-name.h
+++ b/src/data/file-name.h
@@ -22,19 +22,6 @@
 
 #include <stdio.h>
 
-/* Directory separator and path delimiter for this OS. */
-#ifndef __MSDOS__
-#define DIR_SEPARATOR '/'
-#define PATH_DELIMITER ':'
-#define DIR_SEPARATOR_STRING "/"
-#define PATH_DELIMITER_STRING ":"
-#else
-#define DIR_SEPARATOR '\\'
-#define PATH_DELIMITER ';'
-#define DIR_SEPARATOR_STRING "\\"
-#define PATH_DELIMITER_STRING ";"
-#endif
-
 /* Search path for configuration files. */
 extern const char *config_path;
 
@@ -63,7 +50,7 @@ const char *fn_getenv_default (const char *variable, const char *def);
 FILE *fn_open (const char *fn, const char *mode);
 int fn_close (const char *fn, FILE *file);
 
-struct file_identity *fn_get_identity (const char *filename);
+struct file_identity *fn_get_identity (const char *file_name);
 void fn_free_identity (struct file_identity *);
 int fn_compare_file_identities (const struct file_identity *,
                                 const struct file_identity *);