mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-24 22:13:52 +01:00
Merge pull request #1743 from N8Fear/travis
travis: remove comment obsoleted by #1742
This commit is contained in:
commit
912ee7f6af
@ -17,8 +17,6 @@ before_install:
|
||||
- sudo apt-get update
|
||||
|
||||
install:
|
||||
# TODO: Remove the `=4-*` if the stock gcc-arm-none-eabi ships
|
||||
# the missing c++ headers (cf. #1656)
|
||||
- >
|
||||
sudo apt-get install \
|
||||
build-essential \
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user