diff options
-rw-r--r-- | lib/util/wscript | 4 | ||||
-rw-r--r-- | lib/util/wscript_configure | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/lib/util/wscript b/lib/util/wscript index 26b5564babc..953becf6563 100644 --- a/lib/util/wscript +++ b/lib/util/wscript @@ -17,3 +17,7 @@ def set_options(opt): opt.add_option('--without-lttng', help=("Disable lttng integration"), action='store_false', dest='enable_lttng') + + opt.add_option('--with-gpfs', + help=("Directory under which gpfs headers are installed"), + action="store", dest='gpfs_headers_dir', default="/usr/lpp/mmfs/include/") diff --git a/lib/util/wscript_configure b/lib/util/wscript_configure index 95a89493d9a..e7bcbd6bffa 100644 --- a/lib/util/wscript_configure +++ b/lib/util/wscript_configure @@ -135,6 +135,6 @@ else: conf.SET_TARGET_TYPE('lttng-ust', 'EMPTY') conf.undefine('HAVE_LTTNG_TRACEF') -conf.env['CPPPATH_GPFS'] = '/usr/lpp/mmfs/include/' +conf.env['CPPPATH_GPFS'] = Options.options.gpfs_headers_dir if conf.CHECK_HEADERS('gpfs.h', False, False, "gpfs"): conf.DEFINE('HAVE_GPFS', '1') |