X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Flib.h;h=648327b90027aaf896f77bf7fdd787cba9a3f258;hp=c13e08b95aaf149a1fd5207f209ded3c19682010;hb=c0206643b024b6f0e6cde1cbb5e7d37abbc84c69;hpb=3cd7e2f105756543b68f937f327131c7bbaaa88e

diff --git a/src/tests/lib.h b/src/tests/lib.h
index c13e08b..648327b 100644
--- a/src/tests/lib.h
+++ b/src/tests/lib.h
@@ -40,11 +40,11 @@ void shuffle (void *, size_t cnt, size_t size);
 void exec_children (const char *child_name, pid_t pids[], size_t child_cnt);
 void wait_children (pid_t pids[], size_t child_cnt);
 
-void check_file_handle (int fd, const char *filename,
+void check_file_handle (int fd, const char *file_name,
                         const void *buf_, size_t filesize);
-void check_file (const char *filename, const void *buf, size_t filesize);
+void check_file (const char *file_name, const void *buf, size_t filesize);
 
 void compare_bytes (const void *read_data, const void *expected_data,
-                    size_t size, size_t ofs, const char *filename);
+                    size_t size, size_t ofs, const char *file_name);
 
 #endif /* test/lib.h */