[Dune] [Dune-Commit] dune-common r5298 - trunk/bin

Sven Marnach sven at pantoffel-wg.de
Fri Oct 3 15:02:53 CEST 2008


christi at dune-project.org schrieb am Do, 02. Okt 2008, um 15:15:54 +0200:
> example:
> dunecontrol --opts=optsfile autogen:configure:make
> would do exactly the same as
> dunecontrol --opts=optsfile all
> 
> This feature will change in the future, as it does not allow different
> parameters for the different commands.

But why would you want to use a single dunecontrol call if each
command should be called with different parameters?  Wouldn't you just
use several calls?

Sven




More information about the Dune mailing list