diff options
author | Andreas Rammhold <andi@notmuch.email> | 2020-11-27T15·31+0100 |
---|---|---|
committer | andi <andi@notmuch.email> | 2020-11-27T19·09+0000 |
commit | 9bf6eb7f82d4b6996e10dbd5780a17850fb93fd8 (patch) | |
tree | 90d7014b19280b3b4fb721f2310e0c6ee74a70bc /third_party/nix/doc/manual/manual.xml | |
parent | e772f38a5e19dc2f1cdd6c5b9175693eb17c0249 (diff) |
chore(tvix): avoid unnesscary rebuilds of protos and tvix r/1934
For the build of tvix we can safely ignore all the files in src/protos as well as all the nix files in the root of the repository. By passing the input sources through builtins.filterSource we can make a per-file decision whether or not we want to copy it into the store (in other words: if we consider it relevant for the build). This enables much faster development on the actual build expression. Change-Id: Ib4c01dbe9cbfa9770922f6257af2a7259814ce0d Reviewed-on: https://cl.tvl.fyi/c/depot/+/2159 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi> Reviewed-by: lukegb <lukegb@tvl.fyi>
Diffstat (limited to 'third_party/nix/doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions