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

[Julien Fischer]

On Tue, 7 Oct 2008, Peter Ross wrote:

> On Tue, Oct 7, 2008 at 4:23 PM, Julien Fischer
> <juliensf at csse.unimelb.edu.au> wrote:
>>
>> 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?
>>
> mmc -f <lots and lots of file names>

Ah, good point!  I'd forgotten about that.  I think that is a reaonsable
reason for adding support for @flags files.

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
--------------------------------------------------------------------------