diff options
author | Boud Roukema <boud@cosmo.torun.pl> | 2025-02-26 02:14:47 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2025-03-16 03:57:24 +0100 |
commit | 858ca5fb9038d9901ed1fc489f247aac7b67e569 (patch) | |
tree | 694bbc3d545a1483b2d09699b0c4048bf00d1d44 /reproduce/analysis/bash/download-multi-try | |
parent | f70cfed4b7924a2c625ae3e8eee609d88e8f7416 (diff) |
Summary: this will not affect the analysis of any project.
Until this commit, the part of the configuration script which would check
for the necessary host libraries used by the host shell was not portable
(would not work on some systems). Also, the list of paths had an extra ':'
at the end (allowing the searching of the running directory for libraries,
which is a bug and can have unpredictable effects).
With this commit, both issues have been addressed in the configuration
script.
Diffstat (limited to 'reproduce/analysis/bash/download-multi-try')
0 files changed, 0 insertions, 0 deletions