diff options
| author | Christopher Baines <mail@cbaines.net> | 2019-12-05 14:10:09 +0100 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2019-12-12 20:07:22 +0000 |
| commit | 0291bda98abf4cf4299434ed304aa72846f405dd (patch) | |
| tree | e55912d1c0a6170be179139891576f15a25d93ee /pre-inst-env.in | |
| parent | 8a5beb7f8813ec6ecca3d1e8da256bbbbcc67a36 (diff) | |
| download | data-service-0291bda98abf4cf4299434ed304aa72846f405dd.tar data-service-0291bda98abf4cf4299434ed304aa72846f405dd.tar.gz | |
Deduplicate builds and add a unique index
Duplicate builds could creep in if the code to create them ran concurrently. I
didn't exclude them initially, as I was unsure if there should be such a
restriction, but at least for now, Cuirass builds map exactly to a single
derivation, so use the same restriction here.
Diffstat (limited to 'pre-inst-env.in')
0 files changed, 0 insertions, 0 deletions