name the openwrt source tree so we can find it in /nix/store

2022-10-09 09:53:55 +01:00 · 2022-10-09 09:53:55 +01:00 · 2276c548ba
parent e823e7a29c
commit 2276c548ba
1 changed files with 1 additions and 0 deletions
--- a/kernel/default.nix
+++ b/kernel/default.nix
@ -37,6 +37,7 @@ let
  };

  openwrtSource = fetchFromGitHub {
+    name = "openwrt-source-tree";
    repo = "openwrt";
    owner = "openwrt";
    rev = "a5265497a4f6da158e95d6a450cb2cb6dc085cab";