diff options
| author | Linnnus <[email protected]> | 2024-10-03 15:38:26 +0200 |
|---|---|---|
| committer | Linnnus <[email protected]> | 2024-10-03 15:38:26 +0200 |
| commit | 642ebf61e89b545999ecd50ca1c173b2237d6b59 (patch) | |
| tree | 5baa9d7cf14670ac92b9066bde231321b5881f19 | |
| parent | c6fea19ab5a3ecd72b7d1402ff4eefd3d5c63ff1 (diff) | |
fix: Don't ignore upstream patches to noweb
| -rw-r--r-- | overlays/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/overlays/default.nix b/overlays/default.nix index 438d924..e7892dc 100644 --- a/overlays/default.nix +++ b/overlays/default.nix @@ -43,7 +43,7 @@ sha256 = "COcWyrYkheRaSr2gqreRRsz9SYRTX2PSl7km+g98ljs="; }; # Have to discard old patches as the no longer apply cleanly. - patches = [./noweb-no-unnecessary-cflags.patch]; + patches = (old.patches or []) ++ [./noweb-no-unnecessary-cflags.patch]; }); }; } |