summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorzvecr <git@zvecr.com>2019-05-14 20:05:09 +0100
committerDrashna Jaelre <drashna@live.com>2019-05-14 12:05:09 -0700
commit93a97ec6e5a8f193bb96bba1636b7f67cd47d3fc (patch)
tree4b6964ff9da1a7e8175e18584098e07a2f7f7c0b
parentb68d8fe82eac0be9ca8862fdf94ae4bfbbb0735e (diff)
Fix arch installs as 8.1 is unavailable and #5456 has been merged (#5857)0.6.375
-rwxr-xr-xutil/linux_install.sh3
1 files changed, 1 insertions, 2 deletions
diff --git a/util/linux_install.sh b/util/linux_install.sh
index 5e2afe9998..df7039e09a 100755
--- a/util/linux_install.sh
+++ b/util/linux_install.sh
@@ -54,8 +54,7 @@ elif grep ID /etc/os-release | grep -qE 'debian|ubuntu'; then
zip
elif grep ID /etc/os-release | grep -q 'arch\|manjaro'; then
- # install avr-gcc 8.1 until 8.3 is available. See #3657 for details of the bug.
- sudo pacman -U https://archive.archlinux.org/packages/a/avr-gcc/avr-gcc-8.1.0-1-x86_64.pkg.tar.xz
+ sudo pacman -U https://archive.archlinux.org/packages/a/avr-gcc/avr-gcc-8.3.0-1-x86_64.pkg.tar.xz
sudo pacman -S \
arm-none-eabi-binutils \
arm-none-eabi-gcc \