mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 09:53:36 +00:00
c49f69398a
Estimated hours taken: 0.25 Fix a problem on Windows reported by Dominique de Waleffe. scripts/mercury_update_interface.in: Delete the hard-coded setting of `PATH=/bin:/usr/bin'. The original intent was to avoid problems with people who have done things like putting shell scripts that override the standard commands such as `mv' and `cp' in their path. However, since we haven't done this consistently for all of our shell scripts, and since this causes problems for Windows installations (for which the binaries might not be in /bin or /usr/bin), it seems simplest to just remove it. If we run into any problems with this, it should be put back in as `PATH=/bin:/usr/bin:$PATH' rather than `PATH=/bin:/usr/bin', and it should be done consistently for all shell scripts, not just this one.