@ -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 \