Ensure that jerry-port is license-checked (#1788)

JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
2017-04-28 01:59:10 +02:00
parent c9dac6a720
commit 6ecee7eef4
1 changed files with 1 additions and 0 deletions
@@ -43,6 +43,7 @@ INCLUDE_DIRS = [
    'jerry-libc',
    'jerry-libm',
    'jerry-main',
+    'jerry-port',
    'targets',
    'tests',
    'tools',