[m-rev.] for review: use xargs in mmake

Peter Ross peter.ross at miscrit.be
Fri Feb 15 17:42:29 AEDT 2002


fjh wrote:

> On 14-Feb-2002, Peter Ross <peter.ross at miscrit.be> wrote:
> > scripts/mmake.in:
> >     Use xargs to avoid overflowing the command line size limit.
> >
> > Index: scripts/mmake.in
> > ===================================================================
> > RCS file: /home/mercury1/repository/mercury/scripts/mmake.in,v
> > retrieving revision 1.36
> > diff -u -r1.36 mmake.in
> > --- scripts/mmake.in 27 Jul 2001 17:06:17 -0000 1.36
> > +++ scripts/mmake.in 14 Feb 2002 16:26:00 -0000
> > @@ -295,7 +295,8 @@
> >  export MMAKE_USE_SUBDIRS
> >  export MERCURY_INT_DIR
> >  export MERCURY_DEFAULT_GRADE
> > -cat ${MMAKE_VARS} $dvs $ds $include_makefile $mmake $deps
${MMAKE_RULES} > $tmp
> > +echo ${MMAKE_VARS} $dvs $ds $include_makefile \
> > + $mmake $deps ${MMAKE_RULES} | xargs cat > $tmp
>
> I don't see how that will solve the problem -- won't you just overflow
> the command line size limit for `echo' rather than for `cat'?
>
That is what I thought, but it works on cygwin which is the system where I
had the problem.

Pete

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list