diff options
| author | Maximilian Bosch <maximilian@mbosch.me> | 2020-08-18 11:12:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-18 11:12:39 +0200 |
| commit | 30842d0263f40150fa3de0150216229d1673f1e6 (patch) | |
| tree | 49b2b834cd5e1e69e22b58765eb5538e37e92438 /lib | |
| parent | ef5246f027d79d959fe00405c5c765e55b864e75 (diff) | |
| parent | d5700d626ceef8ba509f822ee6e3b0a41a5da89f (diff) | |
Merge pull request #95718 from Infinisil/fixup-nonexistant-option-error
lib/modules: Fix nonexistant option error
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/modules.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/modules.nix b/lib/modules.nix index 55a53b3909a6..9c308d347cf9 100644 --- a/lib/modules.nix +++ b/lib/modules.nix @@ -115,8 +115,8 @@ rec { checkUnmatched = if config._module.check && config._module.freeformType == null && merged.unmatchedDefns != [] then - let inherit (head merged.unmatchedDefns) file prefix; - in throw "The option `${showOption prefix}' defined in `${file}' does not exist." + let firstDef = head merged.unmatchedDefns; + in throw "The option `${showOption (prefix ++ firstDef.prefix)}' defined in `${firstDef.file}' does not exist." else null; result = builtins.seq checkUnmatched { |