users.txt: Update wget URL (tiny change)
[gnulib.git] / lib / file-set.h
blob4e47d95a1f1b1b8ce808753c5333d24a83d24b7a
1 #include <sys/types.h>
2 #include <sys/stat.h>
3 #include <stdbool.h>
5 #include "hash.h"
7 extern void record_file (Hash_table *ht, char const *file,
8 struct stat const *stats)
9 #if defined __GNUC__ && ((__GNUC__ == 3 && __GNUC_MINOR__ >= 3) || __GNUC__ > 3)
10 __attribute__ ((nonnull (2, 3)))
11 #endif
14 extern bool seen_file (Hash_table const *ht, char const *file,
15 struct stat const *stats);