[m-rev.] diff: tools/speedtest task change

[Zoltan Somogyi]

tools/speedtest:
	Make the default test tougher, since machines are getting faster.

Zoltan.

Index: speedtest
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/speedtest,v
retrieving revision 1.13
diff -u -b -r1.13 speedtest
--- speedtest	2001/12/27 07:25:25	1.13
+++ speedtest	2002/01/15 14:09:12
@@ -4,7 +4,7 @@
 
 usage="Usage: speedtest [-c cmd] [-dns] batchname"
 limit=8
-cmd="mmc -C -O2 -I../compiler --no-lazy-code make_hlds.m"
+cmd="mmc -C -O2 --no-lazy-code llds_out.m typecheck.m make_hlds.m"
 debug=false
 size=false
 framesizefile=""
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------