diff options
-rwxr-xr-x | toolchain/dependencies/dependencies.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/toolchain/dependencies/dependencies.sh b/toolchain/dependencies/dependencies.sh index 96f843fc5..b3822ef66 100755 --- a/toolchain/dependencies/dependencies.sh +++ b/toolchain/dependencies/dependencies.sh @@ -137,13 +137,15 @@ 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 python ; do +for prog in awk bison flex msgfmt makeinfo patch gzip bzip2 perl tar wget cpio python svn ; do if ! which $prog > /dev/null ; then /bin/echo -e "\nYou must install '$prog' on your build machine"; if test $prog = "makeinfo" ; then /bin/echo -e "makeinfo is usually part of the texinfo package in your distribution\n" elif test $prog = "msgfmt" ; then /bin/echo -e "msgfmt is usually part of the gettext package in your distribution\n" + elif test $prog = "svn" ; then + /bin/echo -e "svn is usually part of the subversion package in your distribution\n" else /bin/echo -e "\n" fi |