diff options
Diffstat (limited to 'toolchain/dependencies')
| -rwxr-xr-x | toolchain/dependencies/dependencies.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toolchain/dependencies/dependencies.sh b/toolchain/dependencies/dependencies.sh index 013c1d57d..923c76bcd 100755 --- a/toolchain/dependencies/dependencies.sh +++ b/toolchain/dependencies/dependencies.sh @@ -122,7 +122,7 @@ if ! $SHELL --version 2>&1 | grep -q '^GNU bash'; then fi; # Check that a few mandatory programs are installed -for prog in awk bison flex msgfmt makeinfo patch gzip bzip2 perl tar wget cpio ; do +for prog in awk bison flex msgfmt makeinfo patch gzip bzip2 perl tar wget cpio python ; do if ! which $prog > /dev/null ; then /bin/echo -e "\nYou must install '$prog' on your build machine"; if test $prog = "makeinfo" ; then |