From 61a79af8c19d4dc04ad8d868a2bf45c755fc1a88 Mon Sep 17 00:00:00 2001 From: Akos Kiss Date: Fri, 22 Mar 2019 09:46:19 +0100 Subject: [PATCH] Bump RIOT OS target to 2019.01 (#2786) JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu --- targets/riot-stm32f4/Makefile.travis | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/targets/riot-stm32f4/Makefile.travis b/targets/riot-stm32f4/Makefile.travis index ca3f80a43..20ea459f2 100644 --- a/targets/riot-stm32f4/Makefile.travis +++ b/targets/riot-stm32f4/Makefile.travis @@ -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