Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
docs/devel: teach about KOLET_ARCHES
Building kolet for other arches in the developer case is a waste of time. This should probably be the default in fact. Anyway, for now let's at least document `KOLET_ARCHES` to work around this.
- Loading branch information