mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-27 15:24:00 +00:00
Estimated hours taken: 0.1 Branches: main tools/bootcheck: Add a new option, --write-out-profile-data, which causes bootcheck not to turn off the writing out of profiling data files, either during the building of the stages 2 and 3 or during the tests.
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.