ninja: Add comment explaining the consistent ID patch

Co-Authored-By: grahamc <graham@grahamc.com>
This commit is contained in:
worldofpeace 2019-02-07 18:26:51 -05:00 committed by GitHub
parent 21cdf28a83
commit 3abe344987
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -14,6 +14,7 @@ stdenv.mkDerivation rec {
};
patches = [
# Make builds reproducible by generating the same IDs from the same inputs.
(fetchpatch {
name = "consistent-doc-ids";
url = "https://github.com/ninja-build/ninja/commit/9aa947471fcfc607bec6d92a1a6eed5c692edbaf.patch";