Skip to content
Snippets Groups Projects
Commit 591d1464 authored by Andreas Dedner's avatar Andreas Dedner
Browse files

add a 'make' command to the dune main module. Usage 

     python -m dune make -j4 modulebase
or   python -m dune make -j12 all
parent aa634a87
Branches
Tags
1 merge request!1278add a 'make' command to the dune main module. Usage
Pipeline #64257 failed
Stage: .pre
Stage: test
Stage: downstream
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment