bin/dunecontrol · eb045a4d6b61ccc1a8d3378fcbd292ad9e8f668c · Timo Koch / dune-common

Source project has a limited visibility.

10 years ago

Christoph Grüninger authored 10 years ago

This enables ninja-build and other build systems to be called
correctly.
Targets can be passed by adding "--target <targetname>

eb045a4d

Christoph Grüninger authored 10 years ago

This enables ninja-build and other build systems to be called
correctly.
Targets can be passed by adding "--target <targetname>