diff options
Diffstat (limited to 'gl/lib/di-set.h')
| -rw-r--r-- | gl/lib/di-set.h | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gl/lib/di-set.h b/gl/lib/di-set.h deleted file mode 100644 index f05e8760c..000000000 --- a/gl/lib/di-set.h +++ /dev/null @@ -1,14 +0,0 @@ -#include <sys/types.h> - -#undef _ATTRIBUTE_NONNULL_ -#if __GNUC__ == 3 && __GNUC_MINOR__ >= 3 || 3 < __GNUC__ -# define _ATTRIBUTE_NONNULL_(m) __attribute__ ((__nonnull__ (m))) -#else -# define _ATTRIBUTE_NONNULL_(m) -#endif - -struct di_set *di_set_alloc (void); -int di_set_insert (struct di_set *, dev_t, ino_t) _ATTRIBUTE_NONNULL_ (1); -void di_set_free (struct di_set *) _ATTRIBUTE_NONNULL_ (1); -int di_set_lookup (struct di_set *dis, dev_t dev, ino_t ino) - _ATTRIBUTE_NONNULL_ (1);; |