diff options
Diffstat (limited to 'src/tools/tool-options.h')
| -rw-r--r-- | src/tools/tool-options.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/tool-options.h b/src/tools/tool-options.h index 70ce4efc0..bc768c1da 100644 --- a/src/tools/tool-options.h +++ b/src/tools/tool-options.h @@ -148,8 +148,8 @@ struct ToolOptions : public Options { FeatureSet optionsFeatures = FeatureSet::MVP; optionsFeatures.enable(enabledFeatures); optionsFeatures.disable(disabledFeatures); - if (module.features != optionsFeatures) { - Fatal() << "module features do not match specified features. " + if (!(module.features <= optionsFeatures)) { + Fatal() << "features section is not a subset of specified features. " << "Use --detect-features to resolve."; } } |