isinf: Coding style.

[pspp] / lib / file-set.h

diff --git a/lib/file-set.h b/lib/file-set.h
index 28d42fecfd4b133b19772c68c5c6a9d233190566..4e47d95a1f1b1b8ce808753c5333d24a83d24b7a 100644 (file)
--- 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);