[github-action] remove unused apt source lists (#5237)

These sources break easily, removing them so that apt-get update
doesn't fail.
This commit is contained in:
Yakun Xu
2020-07-15 10:48:23 -07:00
committed by GitHub
parent bd3332810a
commit 4886b53b5c
6 changed files with 25 additions and 24 deletions
+1 -1
View File
@@ -49,7 +49,7 @@ install_packages_apt()
if [ "$PLATFORM" = "Raspbian" ]; then
sudo apt-get --no-install-recommends install -y binutils-arm-none-eabi gcc-arm-none-eabi gdb-arm-none-eabi libnewlib-arm-none-eabi libstdc++-arm-none-eabi-newlib
elif [ "$PLATFORM" = "Ubuntu" ] && [ "$(echo "$RELEASE >= $UBUNTU2004" | bc)" -eq 1 ]; then
elif [ "$PLATFORM" = "Ubuntu" ] && [[ ! $RELEASE < $UBUNTU2004 ]]; then
echo "Ubuntu Release >= $UBUNTU2004"
# no need to use ppa
sudo apt-get --no-install-recommends install -y gcc-arm-none-eabi gdb-multiarch libnewlib-arm-none-eabi