Merge pull request #53397 from cdepillabout/aliasoptionmodule-set-priority

lib/modules: Add function to create option alias that respects priority
This commit is contained in:
Nicolas B. Pierron
2019-01-14 20:28:28 +01:00
committed by GitHub
5 changed files with 140 additions and 6 deletions

View File

@@ -109,7 +109,7 @@ let
mkFixStrictness mkOrder mkBefore mkAfter mkAliasDefinitions
mkAliasAndWrapDefinitions fixMergeModules mkRemovedOptionModule
mkRenamedOptionModule mkMergedOptionModule mkChangedOptionModule
mkAliasOptionModule doRename filterModules;
mkAliasOptionModule mkAliasOptionModuleWithPriority doRename filterModules;
inherit (options) isOption mkEnableOption mkSinkUndeclaredOptions
mergeDefaultOption mergeOneOption mergeEqualOption getValues
getFiles optionAttrSetToDocList optionAttrSetToDocList'