diff --git a/scripts/ci/before_install.armhf.sh b/scripts/ci/before_install.armhf.sh deleted file mode 100644 index 069ee1628b..0000000000 --- a/scripts/ci/before_install.armhf.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh -ex - -# workaround for gcc4.8 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55642 -export CXXFLAGS=-Wa,-mimplicit-it=thumb - -UBUNTU_RELEASE=$(lsb_release -sc) - -sudo dpkg --add-architecture armhf - -sudo tee -a /etc/apt/sources.list > /dev/null <