Browse Source

Package git-core has been renamed to git

pull/177/head
MarcoFalke 4 years ago
parent
commit
faa2dc2c2c
No known key found for this signature in database
GPG Key ID: CE2B75697E69A548
  1. 2
      Vagrantfile
  2. 2
      bin/make-base-vm

2
Vagrantfile vendored

@ -5,7 +5,7 @@ set -eu @@ -5,7 +5,7 @@ set -eu
sudo apt-get update -y
sudo apt-get upgrade -y
sudo apt-get install -y autoconf2.13 automake build-essential bsdmainutils faketime g++ g++-mingw-w64 git-core libqt4-dev libtool libz-dev mingw-w64 nsis pciutils pkg-config psmisc subversion unzip zip
sudo apt-get install -y autoconf2.13 automake build-essential bsdmainutils faketime g++ g++-mingw-w64 git libqt4-dev libtool libz-dev mingw-w64 nsis pciutils pkg-config psmisc subversion unzip zip
echo "ok"

2
bin/make-base-vm

@ -117,7 +117,7 @@ if [ $DISTRO = "debian" ]; then @@ -117,7 +117,7 @@ if [ $DISTRO = "debian" ]; then
LOCALE_PKG=locales
fi
addpkg=pciutils,build-essential,git-core,subversion,$LOCALE_PKG,wget,lsb-release
addpkg=pciutils,build-essential,git,subversion,$LOCALE_PKG,wget,lsb-release
if [ $DISTRO = "ubuntu" ]; then
# Need comma at end to work around an issue with apt for Debian <= Wheezy regarding empty strings

Loading…
Cancel
Save