diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2022-11-18 13:40:59 +0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2022-11-18 13:40:59 +0100 |
commit | fa68eb367e79297bb1c0451cd92ad18a06edce96 (patch) | |
tree | fb466b3f1fe55c0db748075232022aa02e6a51c6 /src/libstore/build/local-derivation-goal.hh | |
parent | 20f66c6889aa9d907feee4946702d655b6bd796f (diff) |
Get CPU stats from the cgroup
Diffstat (limited to 'src/libstore/build/local-derivation-goal.hh')
-rw-r--r-- | src/libstore/build/local-derivation-goal.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libstore/build/local-derivation-goal.hh b/src/libstore/build/local-derivation-goal.hh index 1ec6b3649..34c4e9187 100644 --- a/src/libstore/build/local-derivation-goal.hh +++ b/src/libstore/build/local-derivation-goal.hh @@ -202,7 +202,7 @@ struct LocalDerivationGoal : public DerivationGoal /* Kill any processes running under the build user UID or in the cgroup of the build. */ - void killSandbox(); + void killSandbox(bool getStats); /* Create alternative path calculated from but distinct from the input, so we can avoid overwriting outputs (or other store paths) |