diff options
| author | Jeff Frontz <jeff.frontz@gmail.com> | 2018-05-25 15:29:30 -0400 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-05-29 15:55:24 +0200 |
| commit | f44a0ebfff2e11c922bba577d64f115c566131c4 (patch) | |
| tree | 66e18a28aedf5b7c2c3e8ae02933515d37dc82c1 /doc | |
| parent | 610f4dd719ad690cde480b12665d2ba74284a826 (diff) | |
Ensure gitian-build.sh uses bash
If the user has some other login shell (e.g., ksh), the bashisms in gitian-build.sh don't work so well.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions