diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-03-18 18:59:31 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-03-18 18:59:31 +0000 |
commit | 27e0e23ec87cdfed5a2843fa8af35b1e0ac2e615 (patch) | |
tree | 37ef695eb3cae323aaa9392ee852d865d5ad159d /paper.tex | |
parent | 8e82dcc513b2e61e981c39987af426e700c607ad (diff) |
Reseting path in script to make symbolic links to system programs
Until recently, there was no problem with the `makelink' script of
`dependencies-basic.mk' because it was called on separate recipe lines (and
thus separate shells). But recently we added a call to it within a single
shell (for GCC on Mac OS systems). So a previous call to it would effect
the next call. To fix this, in this commit, we are re-setting PATH to its
original value after each call finishes.
Diffstat (limited to 'paper.tex')
0 files changed, 0 insertions, 0 deletions