diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-07-01 18:14:44 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-07-01 18:18:53 +0100 |
commit | deba07c43ebddc31ecdbcf520e2bbaf57e6f8027 (patch) | |
tree | 351857cdc8c2af6b28e3deb5f8757e5763f83fdc /reproduce/software/shell/git-post-checkout | |
parent | aee6d612073ce9be8aef4183c5ac7688ed4733e8 (diff) |
Properly accounting for space characters in host's PATH
Until now, when reading the host's PATH environment variable we weren't
accounting for directory names with a space character. This was most
prominently visible in the 'low-level-links' step where we put links to
some core system components into the project's build directory (mainly for
prorietary systems like macOS).
To address the problem, double quotations have been placed around the part
that we extract 'ccache' from the PATH, and the part where we make the
symbolic link. In the process the comments above 'makelink' were made more
clear and 'low-level-links' now depends on 'grep' (which is the
highest-level program it uses).
This bug was reported by Mahdieh Navabi.
Diffstat (limited to 'reproduce/software/shell/git-post-checkout')
0 files changed, 0 insertions, 0 deletions