From e047ca0b284beb963908c40259c1176f884907cb Mon Sep 17 00:00:00 2001
From: Devan Lai <devan.lai@gmail.com>
Date: Sun, 3 May 2020 17:28:29 -0700
Subject: [PATCH] Update CI toolchain from 2017q2 (GCC 6.2.1) to 2019q4 (9.2.1)

---
 util/install-toolchain.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/util/install-toolchain.sh b/util/install-toolchain.sh
index f25f950..0b236df 100755
--- a/util/install-toolchain.sh
+++ b/util/install-toolchain.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 set -eo pipefail
-URL=https://developer.arm.com/-/media/Files/downloads/gnu-rm/6-2017q2/gcc-arm-none-eabi-6-2017-q2-update-linux.tar.bz2
-TOOLCHAIN=gcc-arm-none-eabi-6-2017-q2-update
+URL=https://developer.arm.com/-/media/Files/downloads/gnu-rm/9-2019q4/gcc-arm-none-eabi-9-2019-q4-major-x86_64-linux.tar.bz2
+TOOLCHAIN=gcc-arm-none-eabi-9-2019-q4-major
 TOOLCHAINS=$HOME/toolchains
 TOOLCHAIN_MISSING=0
 GCC=${TOOLCHAINS}/gcc-arm-embedded/bin/arm-none-eabi-gcc