diff options
Diffstat (limited to 'source3/wscript')
| -rw-r--r-- | source3/wscript | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source3/wscript b/source3/wscript index 271314d723b..2edf5e8ea71 100644 --- a/source3/wscript +++ b/source3/wscript @@ -1727,7 +1727,7 @@ main() { if conf.CHECK_HEADERS('gpfs_gpl.h'): conf.DEFINE('HAVE_GPFS', '1') - if conf.CHECK_HEADERS('linux/ioctl.h sys/ioctl.h'): + if conf.CHECK_HEADERS('linux/ioctl.h sys/ioctl.h linux/fs.h'): conf.DEFINE('HAVE_LINUX_IOCTL', '1') conf.env['CCFLAGS_CEPHFS'] = "-D_FILE_OFFSET_BITS=64" |