[m-dev.] diff: tools/test_mercury clpr changes

[Tyson Richard DOWD]

Fergus Henderson wrote:
> 
> tools/test_mercury:
> 	Checkout the `clpr' directory as mercury/extras/clpr on
> 	murlibobo (so it will get included in the distribution)
> 	and on kryten (so it can be tested).
> 	On kryten, run the usual tests in the `asm_fast.gc.tr' grade,
> 	and also test the `clpr' directory; change the optimization level
> 	from `-O3' to `-O1', to reduce testing times (currently about
> 	12 hrs on kryten).

The ownership and a summary of the license should be put in the
top-level README file, along with the other ones.

-- 
       Tyson Dowd           #          Another great idea from the 
                            #            people who brought you
      trd at .cs.mu.oz.au      #               Beer Milkshakes!
http://www.cs.mu.oz.au/~trd #	         Confidence --- Red Dwarf