diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2012-12-13 23:38:32 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2012-12-13 23:38:32 +0100 |
| commit | 9d1d434cd07d8a0372b113c2c0efacd2eb6e258a (patch) | |
| tree | 593ef61debceb015a049e6c2f021a0582fad2b45 /.gitignore | |
| parent | cb1427dd0835379fa1e05af87c1c6ea585d478e3 (diff) | |
| download | guix-9d1d434cd07d8a0372b113c2c0efacd2eb6e258a.tar.gz guix-9d1d434cd07d8a0372b113c2c0efacd2eb6e258a.zip | |
build-system/gnu: Avoid using /bin/sh.
* guix/build/gnu-build-system.scm (configure): Add `inputs' keyword
parameter. Take Bash from there, falling back to /bin/sh. Set
`CONFIG_SHELL' and `SHELL' to that Bash. Run "bash ./configure"
instead of just "./configure".
* distro/packages/bootstrap.scm (%bootstrap-inputs): Add "bash".
* distro/packages/base.scm (gcc-boot0-wrapped): Use "bash" from
%BOOT1-INPUTS instead of /bin/sh.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions