diff options
Diffstat (limited to 'src/other_tools/root_maps/TARGETS')
-rw-r--r-- | src/other_tools/root_maps/TARGETS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/other_tools/root_maps/TARGETS b/src/other_tools/root_maps/TARGETS index 063f5a1c..8240b799 100644 --- a/src/other_tools/root_maps/TARGETS +++ b/src/other_tools/root_maps/TARGETS @@ -39,6 +39,7 @@ , ["src/utils/cpp", "tmp_dir"] , ["src/other_tools/just_mr/progress_reporting", "progress"] , ["src/other_tools/just_mr/progress_reporting", "statistics"] + , ["src/buildtool/file_system", "file_root"] ] } , "fpath_git_map": |