diff --git a/ChangeLog b/ChangeLog
index 929c311e90..58562e10ce 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -6055,4 +6055,7 @@
 	* fs/fs_mount.c:  SMART FS must be included in the conditional
 	  compilation for the set of file systems that require block
 	  drivers.  From Daniel Palmer (2013-11-15).
+	* tools/mkconfig.c:  SMART FS must be included in the conditional
+	  compilation for the set of writable file systems.  Noted by
+	  Daniel Palmer (2013-11-15).
 
diff --git a/tools/mkconfig.c b/tools/mkconfig.c
index 87389f04ed..ce1a1a9777 100644
--- a/tools/mkconfig.c
+++ b/tools/mkconfig.c
@@ -223,14 +223,14 @@ int main(int argc, char **argv, char **envp)
   printf("#endif\n\n");
   printf("/* Check if any readable and writable filesystem (OR USB storage) is supported */\n\n");
   printf("#undef CONFIG_FS_READABLE\n");
-  printf("#undef CONFIG_FS_WRITABLE\n");
+  printf("#undef CONFIG_FS_WRITABLE\n\n");
   printf("#if defined(CONFIG_FS_FAT) || defined(CONFIG_FS_ROMFS) || defined(CONFIG_USBMSC) || \\\n");
   printf("    defined(CONFIG_FS_NXFFS) || defined(CONFIG_FS_SMARTFS) || defined(CONFIG_FS_BINFS) || \\\n");
   printf("    defined(CONFIG_NFS)\n");
   printf("# define CONFIG_FS_READABLE 1\n");
   printf("#endif\n\n");
   printf("#if defined(CONFIG_FS_FAT) || defined(CONFIG_USBMSC) || defined(CONFIG_FS_NXFFS) || \\\n");
-  printf("    defined(CONFIG_NFS)\n");
+  printf("    defined(CONFIG_FS_SMARTFS) || defined(CONFIG_NFS)\n");
   printf("# define CONFIG_FS_WRITABLE 1\n");
   printf("#endif\n\n");
   printf("/* There can be no network support with no socket descriptors */\n\n");