X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ffilesys%2Ffilesys.h;fp=src%2Ffilesys%2Ffilesys.h;h=455ac7274a08e15abd0749efe3446842d48f8032;hp=c1cda84ecc324fbe70b4e9e3e729ed9ade89c24b;hb=520ff4dd2a106a4d4a21468a72ba820c8ea7d242;hpb=218e4395786e51487d27ad432249c27687667b7c

diff --git a/src/filesys/filesys.h b/src/filesys/filesys.h
index c1cda84..455ac72 100644
--- a/src/filesys/filesys.h
+++ b/src/filesys/filesys.h
@@ -9,7 +9,7 @@
 #define ROOT_DIR_SECTOR 1       /* Root directory file inode sector. */
 
 /* Block device that contains the file system. */
-struct block *fs_device;
+extern struct block *fs_device;
 
 void filesys_init (bool format);
 void filesys_done (void);