mirror of
https://github.com/NixOS/nix
synced 2025-07-08 19:23:54 +02:00
* Make really sure that we use bash. The line
NEED_PROG(shell, bash) actually uses the content of $shell if set, which often points at /bin/sh.
This commit is contained in:
parent
72034ab35d
commit
658816ddc9
2 changed files with 2 additions and 2 deletions
|
@ -124,7 +124,7 @@ fi
|
|||
])
|
||||
|
||||
NEED_PROG(curl, curl)
|
||||
NEED_PROG(shell, bash)
|
||||
NEED_PROG(bash, bash)
|
||||
NEED_PROG(patch, patch)
|
||||
AC_PATH_PROG(xmllint, xmllint, false)
|
||||
AC_PATH_PROG(xsltproc, xsltproc, false)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue