archive-gh-me/jerryscript
1
0
Fork 0
mirror of https://github.com/jerryscript-project/jerryscript.git synced 2025-12-15 16:29:21 +00:00
Code Issues Projects Releases Wiki Activity

Bump RIOT OS target to 2019.01 (#2786)

Browse Source 
JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
This commit is contained in:
Akos Kiss 2019-03-22 09:46:19 +01:00 committed by Robert Sipka
parent 7b23ecc272
commit 61a79af8c1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
targets/riot-stm32f4/Makefile.travis
View File

@ -27,7 +27,7 @@ install-apt-get-deps:
# Fetch RIOT OS repository.
install-clone-riot:
git clone git://github.com/RIOT-OS/RIOT.git ../RIOT -b 2018.07
git clone git://github.com/RIOT-OS/RIOT.git ../RIOT -b 2019.01
# Perform all the necessary (JerryScript-independent) installation steps.
install-noapt: install-clone-riot