diff options
author | tv <tv@krebsco.de> | 2019-02-16 15:39:17 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2019-02-16 15:39:20 +0100 |
commit | 174b3ee6bef292d3270823006f806f847dc5a264 (patch) | |
tree | 7fd9ba4a674d83b980d44353e2798bb5d3f798e7 /lib | |
parent | bc534f38aa3885d654175e747774dcbad243c08d (diff) |
lib.warnOldVersion: init
Diffstat (limited to 'lib')
-rw-r--r-- | lib/default.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/default.nix b/lib/default.nix index 347830e8c..75086f864 100644 --- a/lib/default.nix +++ b/lib/default.nix @@ -145,6 +145,11 @@ let in filter (x: x != []) ([acc.chunk] ++ acc.chunks); + warnOldVersion = oldName: newName: + if compareVersions oldName newName != -1 then + trace "Upstream `${oldName}' gets overridden by `${newName}'." newName + else + newName; }; in |