Get rid of file system "dump" operations because they weren't useful

[pintos-anon] / src / filesys / fsutil.h

diff --git a/src/filesys/fsutil.h b/src/filesys/fsutil.h
index 8962a8a7bfa4856fcf43bd8850197ff2edcbada1..307e37d1d1ce791638a245fd3915c52270d0837d 100644 (file)
--- a/src/filesys/fsutil.h
+++ b/src/filesys/fsutil.h
@@ -3,11 +3,12 @@
 
 #include <stdbool.h>
 
-extern char *fsutil_copy_arg;
+extern char *fsutil_copyin_file;
+extern int fsutil_copyin_size;
+extern char *fsutil_copyout_file;
 extern char *fsutil_print_file;
 extern char *fsutil_remove_file;
 extern bool fsutil_list_files;
-extern bool fsutil_dump_filesys;
 
 void fsutil_run (void);
 void fsutil_print (const char *filename);