diff options
Diffstat (limited to 'support/gnomesupport.awk')
| -rw-r--r-- | support/gnomesupport.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/gnomesupport.awk b/support/gnomesupport.awk index 69b94dfe..7e318b00 100644 --- a/support/gnomesupport.awk +++ b/support/gnomesupport.awk @@ -24,7 +24,7 @@ END { print "#include <stdarg.h>"; } - if (!def["HAVE_SCANDIR"]) { + if (!def["HAVE_SCANDIR"] || def["NEED_DECLARATION_SCANDIR"]) { print ""; print "#include <sys/types.h>"; |