Skip to content

When calling make from an opam script, one would like to use something like [make "-j%{jobs}%"] #569

@rixed

Description

@rixed

The configured number of jobs is used to build several packages simultaneously, but in addition that would come handy to build huge package using make -j switch.
I though for a minute that the jobs config parameter would be available with %{jobs}% but apparently not.

WDYT?

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions