Files
mercury/tools
Julien Fischer 83c831df48 Use gcc 3.4 on saturn again - we are triggering internal
tools/test_mercury:
	Use gcc 3.4 on saturn again - we are triggering internal
	errors in gcc 4.2.
2009-12-29 19:39:34 +00:00
..

This directory, mercury/tools, contains scripts that are not intended
for use by users.  The scripts here are used by the Mercury developers
for maintaining the Mercury compiler.