1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

Merge pull request #9808 from miri64/pkg/enh/bump-jerryscript

jerryscript: bump version
This commit is contained in:
Emmanuel Baccelli 2018-08-22 15:03:39 +02:00 committed by GitHub
commit 1e32539923
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 1 deletions

View File

@ -1,6 +1,6 @@
PKG_NAME=jerryscript
PKG_URL=https://github.com/jerryscript-project/jerryscript.git
PKG_VERSION=e1af56586cf9beeafbc67172b05cad28eca289cb
PKG_VERSION=6e94414f9c3ad9b77c4635a0ca9e796752a205f0
PKG_LICENSE=Apache-2.0
.PHONY: all

View File

@ -21,6 +21,7 @@ libjerry:
-DJERRY_LIBC=OFF \
-DJERRY_LIBM=OFF \
-DJERRY_CMDLINE=OFF \
-DHAVE_TIME_H=0 \
-DEXTERNAL_COMPILE_FLAGS="$(EXT_CFLAGS)" \
-DMEM_HEAP_SIZE_KB=$(JERRYHEAP)