From 6ecee7eef4f42f840579f042320ddc7a506846e7 Mon Sep 17 00:00:00 2001
From: Akos Kiss <akiss@inf.u-szeged.hu>
Date: Fri, 28 Apr 2017 01:59:10 +0200
Subject: [PATCH] Ensure that jerry-port is license-checked (#1788)

JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
---
 tools/check-license.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/check-license.py b/tools/check-license.py
index 81a2fd28b..76573d6f7 100755
--- a/tools/check-license.py
+++ b/tools/check-license.py
@@ -43,6 +43,7 @@ INCLUDE_DIRS = [
     'jerry-libc',
     'jerry-libm',
     'jerry-main',
+    'jerry-port',
     'targets',
     'tests',
     'tools',