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

[Markus Blatt]

On Wed, Nov 28, 2012 at 12:13:43PM +0100, Christoph Grüninger wrote:

> >the problem is that this feature is quite underdocumentedand not
> > discoverable at all: [..] would you mind updating the documentation?
> 
> It is described in the buildsystem-howto, MAKE_FLAGS is even part of
> an example.

But only for using it in an option file, isn't it?. I do not recall
seeing a case where these variables are used on the command line, but
that might just as well have escaped my my attentition during the
brief look at the documentation yesterday.

Markus

-- 
Do you need more support with DUNE or HPC in general? 

Dr. Markus Blatt - HPC-Simulation-Software & Services http://www.dr-blatt.de
Hans-Bunte-Str. 8-10, 69123 Heidelberg, Germany