mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 09:53:36 +00:00
Estimated hours taken: 2 Branches: main, release tools/test_mercury: Fix a bug where it was running the tests in the test suite and the clpr and trailed_update tests using the scripts in mercury-latest/$FULLARCH/bin, rather than using the compiler and scripts that we just bootstrapped and installed, which may be installed in a different location, e.g. mercury-0.11/$FULLARCH-$C_COMPILER/bin.
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.