diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-29 12:28:23 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-29 12:28:23 +0000 |
| commit | 6a24c58cf13129766b64eca8bbdec678e68b6d4e (patch) | |
| tree | 59b06d24c55cfda77a2bbf0f89e520d90bc79914 /reproduce/src/make/initialize.mk | |
| parent | c2d4bd4226770da03c4796c7de77bee28ec79319 (diff) | |
Using proper shell when building programs with GNU tools
Previously the SHELL environment variable was only set in `./configure',
`make', and `make install' after our internal Bash was installed. This
caused problems with Lzip's configure script on older shells (tested on a
Mac OS by Raul Infante Sainz).
So now, before having our own Bash, we set it to a possibly existing Bash
on the system and if that isn't present, just the standard `/bin/sh'.
Diffstat (limited to 'reproduce/src/make/initialize.mk')
0 files changed, 0 insertions, 0 deletions