1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-28 07:51:19 +01:00

pkg/jerryscript: remove duplicate CFLAGS definition

This commit is contained in:
smlng 2018-06-04 09:44:05 +02:00 committed by Gaëtan Harter
parent 98d02dec3b
commit bbbc149595
No known key found for this signature in database
GPG Key ID: 76DF6BCF1B1F883B

View File

@ -4,8 +4,6 @@ JERRYHEAP ?= 16
EXT_CFLAGS :=-D__TARGET_RIOT
EXT_CFLAGS += $(CFLAGS)
.PHONY: libjerry riot-jerry flash clean
# all: libjerry riot-jerry