diff options
| author | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-28 13:14:13 +0200 |
|---|---|---|
| committer | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-29 11:01:34 +0200 |
| commit | 9a52e4688ca265155817817f373938428f023966 (patch) | |
| tree | b90975deb9def6b8cb7c3ffe2510b7318df37d93 /src/libstore/gc.cc | |
| parent | 8cd9aa24a8d48caf22225ce32dff3c5aaa111687 (diff) | |
util.{hh,cc}: Split out processes.{hh,cc}
Change-Id: I39280dc40ca3f7f9007bc6c898ffcf760e2238b7
Diffstat (limited to 'src/libstore/gc.cc')
| -rw-r--r-- | src/libstore/gc.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libstore/gc.cc b/src/libstore/gc.cc index 6b37f0af3..60d88f3b2 100644 --- a/src/libstore/gc.cc +++ b/src/libstore/gc.cc @@ -1,6 +1,7 @@ #include "derivations.hh" #include "globals.hh" #include "local-store.hh" +#include "processes.hh" #include "signals.hh" #include "finally.hh" |