diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/util/wscript_configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/util/wscript_configure b/lib/util/wscript_configure index 4f57184f515..d4450d25b98 100644 --- a/lib/util/wscript_configure +++ b/lib/util/wscript_configure @@ -158,7 +158,7 @@ else: Logs.info('Using gpfs.h from installed gpfs package.') conf.DEFINE('HAVE_GPFS', '1') else: - if sys.platform=="linux": + if sys.platform.startswith('linux'): conf.env['CPPPATH_GPFS'] = os.path.abspath("third_party/gpfs") if conf.CHECK_HEADERS('gpfs.h', False, False, "gpfs"): Logs.info('Using gpfs.h from third_party directory.') |