[m-dev.] bug in `--filenames-via-stdin'?
Fergus Henderson
fjh at cs.mu.OZ.AU
Thu Jul 15 06:51:17 AEST 1999
Hi,
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?
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3 | -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the developers
mailing list