diff options
author | John Ericson <John.Ericson@Obsidian.Systems> | 2023-06-19 00:04:59 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-19 04:04:59 +0000 |
commit | c404623a1d39431cf7b4ccd0b0b396a821a6eade (patch) | |
tree | 8438a3fec542dac8b6d4e8384063e69e5fc24517 /mk/functions.mk | |
parent | 7bf17f8825b7aacde8b4e3c5e035f6d442d649c4 (diff) |
Clean up a few things related to profiles (#8526)
- Greatly expand API docs
- Clean up code in misc ways
- Instead of a complicated single loop on generations, do different
operations in successive subsequent steps.
- Avoid `ref` in one place where `&` is fine
- Just return path instead of mutating an argument in `makeName`
Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>
Diffstat (limited to 'mk/functions.mk')
0 files changed, 0 insertions, 0 deletions