diff options
author | Robert Fancsik <frobert@inf.u-szeged.hu> | 2021-01-08 20:08:03 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-08 20:08:03 +0100 |
commit | b7b2e0360e52aabdd5dc2c1890205c9a47543af7 (patch) | |
tree | cc9d377675144379d19fc111cd2a9ba97e34d75b /targets | |
parent | 7b00db40799630709e6017ba9073815a4b6cb4eb (diff) |
Move ARM and target checks to Github Actions from Travis (#4430)
JerryScript-DCO-1.0-Signed-off-by: Robert Fancsik frobert@inf.u-szeged.hu
Diffstat (limited to 'targets')
-rw-r--r-- | targets/riot-stm32f4/Makefile.travis | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/targets/riot-stm32f4/Makefile.travis b/targets/riot-stm32f4/Makefile.travis index 20ea459f..a40f23e7 100644 --- a/targets/riot-stm32f4/Makefile.travis +++ b/targets/riot-stm32f4/Makefile.travis @@ -23,11 +23,11 @@ all: # Install cross-compiler via apt. install-apt-get-deps: - sudo apt-get install -q -y clang-3.9 gcc-arm-embedded gcc-multilib + sudo apt-get install -q -y clang gcc-arm-embedded gcc-multilib # Fetch RIOT OS repository. install-clone-riot: - git clone git://github.com/RIOT-OS/RIOT.git ../RIOT -b 2019.01 + git clone git://github.com/RIOT-OS/RIOT.git ../RIOT -b 2020.01 # Perform all the necessary (JerryScript-independent) installation steps. install-noapt: install-clone-riot |