Searched refs:VERA_SCRIPT (Results 1 – 2 of 2) sorted by relevance
| /third_party/jerryscript/tools/ | ||
| D | settings.py | 38 VERA_SCRIPT = path.join(TOOLS_DIR, 'check-vera.sh') variable |
| D | run-tests.py | 536 Check(options.check_vera, run_check, [settings.VERA_SCRIPT]), |