diff options
author | Profpatsch <mail@profpatsch.de> | 2021-04-24T11·32+0200 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2021-05-17T23·00+0000 |
commit | 72924facaebb9cf37d9cfd1da43335d5fe51fb6e (patch) | |
tree | 9c805f378aa315ef7500d9c2308ec50148ddf9cf /nix/writeScriptBin | |
parent | 8dfc7a9f9d8943cfc56721c09ae9c04090a8f500 (diff) |
fix(nix/writers/rust): remove args override r/2594
We can be closed world, so let’s restrict the arguments to the subset we need for now. The existing override was wrong, in that `// args` would use the arguments we already added, again. So instead of deliberating about how to make this work right in all cases, we don’t need it, we trim it. Change-Id: I6443a0808b8bfd5e4db939b669c6afc741954db8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3057 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'nix/writeScriptBin')
0 files changed, 0 insertions, 0 deletions