[m-rev.] diff: fix tools/binary for hlc grades

[Zoltan Somogyi]

tools/binary:
	Make this tool work for high level grades.

Zoltan.

cvs diff: Diffing .
Index: binary
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/tools/binary,v
retrieving revision 1.33
diff -u -b -r1.33 binary
--- binary	23 Dec 2008 01:38:03 -0000	1.33
+++ binary	28 Aug 2009 13:00:23 -0000
@@ -325,6 +325,7 @@
 cp stage2.ok/library/*.trans_opt stage2/library
 cp stage2.ok/library/*.trans_opt_date stage2/library
 cp stage2.ok/library/*.mh stage2/library
+cp stage2.ok/library/*.mih stage2/library
 # cp stage2.ok/mdbcomp/*.d stage2/mdbcomp
 cp stage2.ok/mdbcomp/*.dep stage2/mdbcomp
 cp stage2.ok/mdbcomp/*.dv stage2/mdbcomp
@@ -335,6 +336,7 @@
 cp stage2.ok/mdbcomp/*.int2 stage2/mdbcomp
 cp stage2.ok/mdbcomp/*.date stage2/mdbcomp
 cp stage2.ok/mdbcomp/*.mh stage2/mdbcomp
+cp stage2.ok/mdbcomp/*.mih stage2/mdbcomp
 # cp stage2.ok/compiler/*.d stage2/compiler
 cp stage2.ok/compiler/*.dep stage2/compiler
 cp stage2.ok/compiler/*.dv stage2/compiler
@@ -345,6 +347,7 @@
 cp stage2.ok/compiler/*.int2 stage2/compiler
 cp stage2.ok/compiler/*.date stage2/compiler
 cp stage2.ok/compiler/*.mh stage2/compiler
+cp stage2.ok/compiler/*.mih stage2/compiler
 
 if test "$bootcheck" = ""
 then
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------