X-Git-Url: https://erislabs.net/gitweb/?a=blobdiff_plain;f=lib%2Ffile-set.h;h=4e47d95a1f1b1b8ce808753c5333d24a83d24b7a;hb=bb3630b9f1d07a953ad5d2cfd28fb266dc6f95e1;hp=28d42fecfd4b133b19772c68c5c6a9d233190566;hpb=aeb898d88cddc17cefc7738940b4917e9ee27933;p=gnulib.git

diff --git a/lib/file-set.h b/lib/file-set.h
index 28d42fecf..4e47d95a1 100644
--- a/lib/file-set.h
+++ b/lib/file-set.h
@@ -6,7 +6,10 @@
 
 extern void record_file (Hash_table *ht, char const *file,
                          struct stat const *stats)
-  __attribute__ ((nonnull (2, 3)));
+#if defined __GNUC__ && ((__GNUC__ == 3 && __GNUC_MINOR__ >= 3) || __GNUC__ > 3)
+  __attribute__ ((nonnull (2, 3)))
+#endif
+;
 
 extern bool seen_file (Hash_table const *ht, char const *file,
                        struct stat const *stats);