Home
last modified time | relevance | path

Searched refs:JERRY_PORT (Results 1 – 1 of 1) sorted by relevance

/third_party/jerryscript/tools/
Dsrcgenerator.py29 JERRY_PORT = os.path.join(ROOT_DIR, 'jerry-port', 'default') variable
84 '--base-dir', JERRY_PORT,
96 '--base-dir', JERRY_PORT,
97 '--input={}/include/jerryscript-port-default.h'.format(JERRY_PORT),