s/is/are/g

pull/771/head
jackun 2 years ago
parent 8a628e6a77
commit 39ba57daa1
No known key found for this signature in database
GPG Key ID: 119DB3F1D05A9ED3

@ -100,7 +100,7 @@ if is_unixy
if get_option('with_nvml') == 'system'
nvml_h_found = cc.has_header('nvml.h')
if not nvml_h_found
error('nvml.h was not found. Disable with \'-Dwith_nvml=disabled\' if gpu stats by NVML is not needed.')
error('nvml.h was not found. Disable with \'-Dwith_nvml=disabled\' if gpu stats by NVML are not needed.')
endif
pre_args += '-DUSE_SYSTEM_NVML'
endif
@ -121,7 +121,7 @@ if is_unixy
xnvctrl_h_found = cc.has_header('NVCtrl/NVCtrl.h')
if not xnvctrl_h_found
error('NVCtrl.h was not found. Disable with \'-Dwith_xnvctrl=disabled\' if gpu stats by XNVCtrl is not needed.')
error('NVCtrl.h was not found. Disable with \'-Dwith_xnvctrl=disabled\' if gpu stats by XNVCtrl are not needed.')
endif
pre_args += '-DHAVE_XNVCTRL'

Loading…
Cancel
Save