[m-rev.] for review [juliensf]: Avoid command line buffer limits

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Oct 7 16:23:11 AEDT 2008


On Tue, 7 Oct 2008, Peter Ross wrote:

> On Tue, Oct 7, 2008 at 11:26 AM, Peter Ross <pro at missioncriticalit.com> wrote:
>> On Tue, Oct 7, 2008 at 2:51 AM, Julien Fischer
>>> I would have though that mmc's --flags-file option was sufficient
>>> for this.  For mmc, @files don't seem to provide anything we don't
>>> already have.
>>>
>> Woops, didn't think of that.  Will get rid of this code.
>>
> Actually --flags only allows a file which contains options only, no
> source file names.  So the @file syntax does something different, so
> should I change --flags to parse source file names as well?

I don't think you can, it's implmented as part of getopt_io.

Why would you want to pass more than a single source file name to mmc
anyway?

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------



More information about the reviews mailing list