diff options
Diffstat (limited to 'tool/update-deps')
-rwxr-xr-x | tool/update-deps | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tool/update-deps b/tool/update-deps index 359fea102e..07c14dce62 100755 --- a/tool/update-deps +++ b/tool/update-deps @@ -128,7 +128,6 @@ FILES_NEED_VPATH = %w[ optunifs.inc parse.c parse.h - prelude.c probes.dmyh vm.inc vmtc.inc |