[Dune-devel] [Dune-Bugs] [#1211] [PATCH] dunecontrol: allow arguments to the 'make' command

[Andreas Lauser]

Hi,

Since this task was closed before I had the chance to respond, I use the 
mailing list for the reply. sorry for the noise.

Am Dienstag, 27. November 2012, 23:49:21 schrieb Dune:
> The requested feature is available using the MAKE_FLAGS in the opts file.
> 
> ALternatively you cann call
> 
> MAKE_FLAGS="..." dunecontrol ...
> 
> Is there any problem with this approach?

nope, that's exactly what I want. the problem is that this feature is quite 
underdocumented and not discoverable at all: neither duncontrol --help, nor 
even grepping dunecontrol for 'MAKE' yields a hint for this. would you mind 
updating the documentation? I suppose that I'm not the only one who gets 
annoyed by long build times and is too stupid to find this feature...

Regards
  Andreas

-- 
Andreas Lauser
Department of Hydromechanics and Modelling of Hydrosystems
University of Stuttgart
Pfaffenwaldring 61
D-70569 Stuttgart
Phone: (+49) 711 685-64719
Fax: (+49) 711 685-60430
www.hydrosys.uni-stuttgart.de