* Depend on bash instead of sh (since we use a few bashisms).
This commit is contained in:
parent
42d80d1170
commit
0b95603595
1 changed files with 1 additions and 1 deletions
|
@ -124,7 +124,7 @@ fi
|
||||||
])
|
])
|
||||||
|
|
||||||
NEED_PROG(curl, curl)
|
NEED_PROG(curl, curl)
|
||||||
NEED_PROG(shell, sh)
|
NEED_PROG(shell, bash)
|
||||||
NEED_PROG(patch, patch)
|
NEED_PROG(patch, patch)
|
||||||
AC_PATH_PROG(xmllint, xmllint, false)
|
AC_PATH_PROG(xmllint, xmllint, false)
|
||||||
AC_PATH_PROG(xsltproc, xsltproc, false)
|
AC_PATH_PROG(xsltproc, xsltproc, false)
|
||||||
|
|
Loading…
Reference in a new issue