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