diff options
Diffstat (limited to 'tool/update-deps')
-rwxr-xr-x | tool/update-deps | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tool/update-deps b/tool/update-deps index ccfc160e42..200afe7ca0 100755 --- a/tool/update-deps +++ b/tool/update-deps @@ -120,6 +120,7 @@ FILES_NEED_VPATH = %w[ known_errors.inc lex.c miniprelude.c + mjit_compile.inc newline.c node_name.inc opt_sc.inc |