diff --git a/bin/manage-tools b/bin/manage-tools index 2f80474..dfec2a9 100755 --- a/bin/manage-tools +++ b/bin/manage-tools @@ -58,8 +58,8 @@ cd $(dirname "${BASH_SOURCE[0]}")/.. case $ACTION in setup) - PACKAGE_REQS="build-essential libtool g++ gcc texinfo curl wget automake autoconf" - PACKAGE_COUNT=9 + PACKAGE_REQS="build-essential libtool g++ gcc texinfo curl wget automake autoconf python-dev" + PACKAGE_COUNT=10 if [ $(dpkg -l $PACKAGE_REQS | grep "^ii" | wc -l) -ne $PACKAGE_COUNT ] then if [ "$ALLOW_SUDO" -eq 1 ]