diff options
Diffstat (limited to 'gl/modules/root-dev-ino')
| -rw-r--r-- | gl/modules/root-dev-ino | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gl/modules/root-dev-ino b/gl/modules/root-dev-ino new file mode 100644 index 000000000..91e235320 --- /dev/null +++ b/gl/modules/root-dev-ino @@ -0,0 +1,25 @@ +Description: +Root device and inode number checking. + +Files: +lib/root-dev-ino.h +lib/root-dev-ino.c +m4/root-dev-ino.m4 + +Depends-on: +dev-ino +same-inode + +configure.ac: +gl_ROOT_DEV_INO + +Makefile.am: + +Include: +"root-dev-ino.h" + +License: +GPL + +Maintainer: +Jim Meyering |