mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-23 13:23:47 +00:00
Estimated hours taken: 0.25 tools/test_mercury: Use `cp' rather than `cp -f', since `cp -f' is not portable (e.g. it doesn't work on Irix).
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.