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

[Peter Ross]

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