diff options
Diffstat (limited to 'tool')
-rwxr-xr-x | tool/update-deps | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tool/update-deps b/tool/update-deps index cfcb15c776..359fea102e 100755 --- a/tool/update-deps +++ b/tool/update-deps @@ -364,6 +364,9 @@ def read_single_cc_deps(path_i, cwd) next if !dep.to_s.start_with?(cwd.to_s) # omit system headers. deps << dep } + if deps.include?(cwd + "probes.h") + deps << (cwd + "probes.dmyh") + end deps end |