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

python -m dune make -j4 modulebase or python -m dune make -j12 all

added 1 commit

• 4f375447 - add the possibility to remove/make all modules listed in a file

Compare with previous version

added 1 commit

• 598ecfb6 - add a --force (-B) option to the dune.__main__ make command

Compare with previous version

added 1 commit

• 4f6e3027 - [minor fix]

Compare with previous version

added 2 commits

• 6d325c88 - add the possibility to remove/make all modules listed in a file
• 6ea910fe - mend

Compare with previous version

added 1 commit

• b0de0fa8 - add the possibility to remove/make all modules listed in a file

Compare with previous version

enabled an automatic merge when the pipeline for b0de0fa8 succeeds

merged

mentioned in commit 1ed2b2a6