1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-27 15:31:17 +01:00

Travis: use different emdebian mirror for now

This commit is contained in:
Ludwig Ortmann 2014-11-20 13:35:31 +01:00
parent 88eba292d0
commit fc3301e246

View File

@ -7,7 +7,7 @@ env:
before_install:
- sudo apt-get install emdebian-archive-keyring
- echo 'deb http://www.emdebian.org/debian wheezy main' | sudo tee /etc/apt/sources.list.d/emdebian.list > /dev/null
- echo 'deb http://emdebian.bytesatwork.ch/mirror/toolchains/ wheezy main' | sudo tee /etc/apt/sources.list.d/emdebian.list > /dev/null
- echo 'deb http://us.archive.ubuntu.com/ubuntu trusty main restricted universe multiverse' | sudo tee /etc/apt/sources.list.d/trusty.list > /dev/null
- echo 'deb http://us.archive.ubuntu.com/ubuntu trusty-backports main restricted universe multiverse' | sudo tee -a /etc/apt/sources.list.d/trusty.list > /dev/null