summaryrefslogtreecommitdiff
path: root/tool/update-deps
diff options
context:
space:
mode:
authorTakashi Kokubun <takashikkbn@gmail.com>2022-11-29 21:42:35 -0800
committerTakashi Kokubun <takashikkbn@gmail.com>2022-11-29 21:45:34 -0800
commita1d70f5b120478d11151dc0e2cd554f38574953b (patch)
tree84c8cbb908c0b7e8b4c5a5213392a999340b51fe /tool/update-deps
parent7a2b1364ef5889497e7c203f644610f346bdd80a (diff)
MJIT: Rename mjit_compile_attr to mjit_sp_inc
There's no mjit_compile.inc, so no need to use this prefix anymore.
Diffstat (limited to 'tool/update-deps')
-rwxr-xr-xtool/update-deps2
1 files changed, 1 insertions, 1 deletions
diff --git a/tool/update-deps b/tool/update-deps
index f142b30be8..445f9a00e3 100755
--- a/tool/update-deps
+++ b/tool/update-deps
@@ -119,7 +119,7 @@ FILES_NEED_VPATH = %w[
known_errors.inc
lex.c
miniprelude.c
- mjit_compile_attr.inc
+ mjit_sp_inc.inc
newline.c
node_name.inc
opt_sc.inc