(human_fstype): Handle Linux's devpts.

diff --git a/src/stat.c b/src/stat.c
index 5ca5cfdf594ffcb6549ea4de2d8b53e661e3d74b..62727581ac7dd584e4c84cb921ab1fc207b0656f 100644 (file)
--- a/src/stat.c
+++ b/src/stat.c
@@ -127,6 +127,9 @@ human_fstype (STRUCT_STATVFS const *statfsbuf)
     case S_MAGIC_AFFS:
       type = "affs";
       break;
+    case S_MAGIC_DEVPTS:
+      type = "devpts";
+      break;
     case S_MAGIC_EXT:
       type = "ext";
       break;