diff options
Diffstat (limited to 'tool')
| -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 5662188dee..90107e50c8 100755 --- a/tool/update-deps +++ b/tool/update-deps @@ -156,6 +156,7 @@ FILES_NEED_VPATH = %w[ yarp/prettyprint.c yarp/serialize.c yarp/token_type.c + yarp/version.h ] # Multiple files with same filename. |