diff --git a/Tools/vagrant/initvagrant.sh b/Tools/vagrant/initvagrant.sh index 838ab88758..746988e719 100755 --- a/Tools/vagrant/initvagrant.sh +++ b/Tools/vagrant/initvagrant.sh @@ -29,6 +29,11 @@ apt-get install -y valgrind # gdb support: apt-get install -y gdb +# gcov support: +apt-get install -y gcovr lcov + +# install pexpect for autotest.py +pip install pexpect sudo -u $VAGRANT_USER ln -fs /vagrant/Tools/vagrant/screenrc /home/$VAGRANT_USER/.screenrc