diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-26 14:33:18 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-26 14:33:18 +0000 |
| commit | 00b4893b2829ddb0e9050ae7de6af7cb4d4d8304 (patch) | |
| tree | 69d90d954920eca1cb44cfbab3d14131d47eb967 /reproduce/config/pipeline/pdf-build.mk | |
| parent | 22ac6cccba99109f23f5571f70ec660f6f37c76f (diff) | |
sh executable now available in PATH
While working on a research project using this pipeline, I noticed that we
don't have any `sh' executable within our PATH. However, some programs
(including Gnuastro's configure script, when it is checking for shells to
use with Libtool) check and use it. So after building Bash, we also build
an `sh' symbolic link to point to the built Bash executable.
Diffstat (limited to 'reproduce/config/pipeline/pdf-build.mk')
0 files changed, 0 insertions, 0 deletions