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',