diff options
author | Cole Helbling | 2020-04-21 18:16:52 -0700 |
---|---|---|
committer | Dmitry Kalinkin | 2020-04-26 17:06:05 -0400 |
commit | 27aaaa5ba6923104a23bae75d323dc975390195e (patch) | |
tree | 166ee8fdf47ee2ea7c9e55c1fb4b3e749412187c | |
parent | f53bdf3dda32ebdfc4609e81a3aaa919d9d2514e (diff) |
ninja: fix 404'ing patch
Kyndig on IRC noticed that building `ninja` from source would fail due to a patch 404'ing (because the repo appears to no longer exist). Fetch from upstream instead. (cherry picked from commit 91d4e9aa97ab19a1364159a7617336aeb6a864f8) cc #85742
-rw-r--r-- | pkgs/development/tools/build-managers/ninja/default.nix | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/pkgs/development/tools/build-managers/ninja/default.nix b/pkgs/development/tools/build-managers/ninja/default.nix index 796747bf6e9c..a86e836e4ca9 100644 --- a/pkgs/development/tools/build-managers/ninja/default.nix +++ b/pkgs/development/tools/build-managers/ninja/default.nix @@ -21,10 +21,9 @@ stdenv.mkDerivation rec { sha256 = "0zsg46jflsh644jccrcgyfalr7fkzrv041kyi8644nyk923gcrl9"; }) # https://github.com/ninja-build/ninja/issues/1510 - fix w/musl, possibly BSDs? - # (fetchpatch { name = "fix-issue-1510.patch"; - url = https://github.com/makepost/ninja/commit/567815df38a2ff54ad7478a90bd75c91e434236a.patch; + url = "https://github.com/ninja-build/ninja/commit/567815df38a2ff54ad7478a90bd75c91e434236a.patch"; sha256 = "0zd0xyi7h2066nw1dsk76c7yf71b0f7v4p5nljda7jxi01vpdh69"; }) ]; |