diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-23 13:17:48 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-23 13:17:48 +0000 |
| commit | 796ed341fbeb9688eaabefe020977fba9f6f35f6 (patch) | |
| tree | 07cc26289a3f13e52fbe1e4af0ddc9f9e567a0c2 /reproduce/config/pipeline | |
| parent | 86888f4b305d3725335b9be44d6659b1a07e5d34 (diff) | |
Corrected check for patchelf when building Bash
Until now, the check to see if the patchelf program should be used or not
(for GNU/Linux vs. Mac installations) was mistakenly added over the step
that we define the `sh' symbolic link, not over the call to patchelf. This
is corrected with this commit.
Diffstat (limited to 'reproduce/config/pipeline')
0 files changed, 0 insertions, 0 deletions