diff options
author | Christopher Baines <mail@cbaines.net> | 2020-07-18 18:17:20 +0100 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2020-08-26 18:40:14 +0100 |
commit | 15f27e9d4310242e34729b03dd4227a2b2d193a3 (patch) | |
tree | 91464e0d2c6a83b7423eb146cca3b585e4c6529b /.gitignore | |
parent | cdbcd13773ef525ca463609e21a596cb7922894d (diff) | |
download | build-coordinator-15f27e9d4310242e34729b03dd4227a2b2d193a3.tar build-coordinator-15f27e9d4310242e34729b03dd4227a2b2d193a3.tar.gz |
Store if the derivation is a fixed output derivation
As this information will come in useful when working out how to handle builds
for fixed output derivations. Specifically, I want to make it configurable
whether to add builds for fixed output derivations if a build already exists
for the output, but the derivation is different.
Currently, different fixed output derivations can be ignored but it's not
possible to just avoid adding more builds for non fixed output derivations
while adding builds when fixed output derivations change. This new information
will help enable that.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions