[m-rev.] diff: new option for speedtest

[Zoltan Somogyi]

tools/speedtest:
	Add an option, -h, that compiles the selected modules in grade hlc.gc.

cvs diff: Diffing .
Index: speedtest
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/speedtest,v
retrieving revision 1.19
diff -u -b -r1.19 speedtest
--- speedtest	1 Aug 2005 02:37:43 -0000	1.19
+++ speedtest	4 Sep 2009 02:44:47 -0000
@@ -4,7 +4,9 @@
 
 usage="Usage: speedtest [-c cmd] [-dns] batchname"
 limit=6
-cmd="mmc -C -O2 --grade asm_fast.gc llds_out.m typecheck.m mercury_compile.m modules.m code_info.m polymorphism.m"
+cmd_llds="mmc -C -O2 --grade asm_fast.gc llds_out.m typecheck.m mercury_compile.m modules.m code_info.m polymorphism.m"
+cmd_mlds="mmc -C -O2 --grade hlc.gc llds_out.m typecheck.m mercury_compile.m modules.m code_info.m polymorphism.m"
+cmd="$cmd_llds"
 debug=false
 table_io=false
 size=false
@@ -23,6 +25,9 @@
 	-d)
 		debug=true ;;
 
+	-h)
+		cmd="$cmd_mlds" ;;
+
 	-t)
 		table_io=true ;;
 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------