[m-dev.] bug in `--filenames-via-stdin'?

[Simon Taylor]

> I tried to use `mmc --filenames-via-stdin' and I found what appear to be
> a couple of bugs:
> 
> 	- it requires you to specify an argument on the command line
> 	  even if you specify --filenames-via-stdin
> 
> 	- it doesn't strip off the newline at the end of the line,
> 	  so unless your modules have names that end in `\n', it doesn't
> 	  work.
> 
> These were easy to fix, but I just wanted to make sure that they were
> indeed bugs, rather than being some kind of deliberate design feature
> that I don't understand... Simon?

They're bugs.

Simon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------