diff options
| author | Robert Hensing <robert@roberthensing.nl> | 2023-08-16 16:16:58 +0200 |
|---|---|---|
| committer | Robert Hensing <robert@roberthensing.nl> | 2023-08-16 16:16:58 +0200 |
| commit | d8079ee3503b487af0769ad53398171e617869da (patch) | |
| tree | b07bfdae12de47e98d4080a9b5571845ebb7dee0 /src/libstore/build/goal.hh | |
| parent | 5542c1f87ee3325bce8140f4087b12647b4107ef (diff) | |
Document jobCategory()
Diffstat (limited to 'src/libstore/build/goal.hh')
| -rw-r--r-- | src/libstore/build/goal.hh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/libstore/build/goal.hh b/src/libstore/build/goal.hh index a313bf22c..d3127caea 100644 --- a/src/libstore/build/goal.hh +++ b/src/libstore/build/goal.hh @@ -162,6 +162,10 @@ public: virtual void cleanup() { } + /** + * @brief Hint for the scheduler, which concurrency limit applies. + * @see JobCategory + */ virtual JobCategory jobCategory() = 0; }; |