[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