diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2019-03-25 14:45:47 +0000 |
|---|---|---|
| committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2019-03-25 14:45:47 +0000 |
| commit | 7d1d6f88fb28630cc581ea41c487b2b0c0da269f (patch) | |
| tree | 3230a14c18d1e1399ddc24bda09f9769503a6911 /reproduce/src/bash | |
| parent | 8748d3e93fbe60511912fbe6ac424a6d6352de4f (diff) | |
Corrected makelink command to avoid paste command
We just noticed that recently the `paste' command on macOS doesn't work
with a pipe. So we are now simply using the `tr' command in reverse to
re-create the PATH (to find where to link to).
Diffstat (limited to 'reproduce/src/bash')
0 files changed, 0 insertions, 0 deletions