diff options
Diffstat (limited to 'test/readdir0.awk')
| -rw-r--r-- | test/readdir0.awk | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/test/readdir0.awk b/test/readdir0.awk index 54306f10..c98ac674 100644 --- a/test/readdir0.awk +++ b/test/readdir0.awk @@ -1,3 +1,16 @@ +BEGIN { + while ((getline x < extout) > 0) { + numrec++ + if ((split(x, f, "/") == 3) && (f[3] == "u")) + num_unknown++ + } + close(extout) + if ((numrec > 0) && (num_unknown == numrec)) { + print "Notice: this filesystem does not appear to support file type information" > "/dev/stderr" + ftype_unknown = 1 + } +} + { ino = $1 name = $NF @@ -5,5 +18,5 @@ if (type == "-") type = "f" - printf "%s/%s/%s\n", ino, name, type + printf "%s/%s/%s\n", ino, name, (ftype_unknown ? "u" : type) } |