Am 16.02.2015 um 16:54 schrieb Allin Cottrell:
On Mon, 16 Feb 2015, Sven Schreiber wrote:
> ? mpi
> ? end mpi --np=2
> ungültige Option '--np'
Glad you spotted that. It's fallout from the "new tokenizer" -- but not
really a bug in the tokenizer, rather that option placement was
supported by a nasty piece of ad-hocery before. I need to think about
the best way of enabling it again. In the meantime you can add the --np
option to the first line of the mpi block instead of the last.
Yes that works -- actually I think the top is a much better location for
the options than the bottom, so from my point of view no need to change
anything (except the docs). Or what was the rationale behind putting the
options at the end?