diff options
| author | Chuck <chuck@intelligence.org> | 2019-09-16 08:21:54 -0700 |
|---|---|---|
| committer | Linus Heckemann <git@sphalerite.org> | 2019-11-04 15:11:45 +0100 |
| commit | 4ded9beea2ea5d0dd739c78a5bf1e5f42a1e1c39 (patch) | |
| tree | f860874cab69ff12cd053c4cac94e41ce56d57e4 /lib/modules.nix | |
| parent | c352bfeaf096ed11560624b8c5034ba0ed0723b7 (diff) | |
Add note: Keep error message in sync with nixos-option
Diffstat (limited to 'lib/modules.nix')
| -rw-r--r-- | lib/modules.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/modules.nix b/lib/modules.nix index 71672c7d112ba..44db77b5d1c6a 100644 --- a/lib/modules.nix +++ b/lib/modules.nix @@ -326,6 +326,8 @@ rec { # The value with a check that it is defined valueDefined = if res.isDefined then res.mergedValue else + # (nixos-option detects this specific error message and gives it special + # handling. If changed here, please change it there too.) throw "The option `${showOption loc}' is used but not defined."; # Apply the 'apply' function to the merged value. This allows options to |