Files
mercury/tools
Peter Wang 1daf4d6081 Parallelise make_java_csharp_arena_{base,diff}
tools/make_java_csharp_arena_base:
tools/make_java_csharp_arena_diff:
    Use xargs -P to run multiple instances of the compiler in parallel.

    Allow the environment variable PARALLEL to control the number of
    parallel tasks.
2018-07-26 14:54:51 +10:00
..
2017-08-04 21:45:50 +02:00
2017-08-04 21:45:50 +02:00
2018-03-07 10:58:22 +11:00
2011-06-27 17:38:01 +00:00
2013-04-29 13:40:43 +10: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.