diff options
Diffstat (limited to 'src/other_tools/ops_maps/TARGETS')
-rw-r--r-- | src/other_tools/ops_maps/TARGETS | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/other_tools/ops_maps/TARGETS b/src/other_tools/ops_maps/TARGETS new file mode 100644 index 00000000..8bde49eb --- /dev/null +++ b/src/other_tools/ops_maps/TARGETS @@ -0,0 +1,13 @@ +{ "critical_git_op_map": + { "type": ["@", "rules", "CC", "library"] + , "name": ["critical_git_op_map"] + , "hdrs": ["critical_git_op_map.hpp"] + , "srcs": ["critical_git_op_map.cpp"] + , "deps": + [ ["src/buildtool/multithreading", "async_map_consumer"] + , ["src/other_tools/git_operations", "git_operations"] + , ["src/utils/cpp", "hash_combine"] + ] + , "stage": ["src", "other_tools", "ops_maps"] + } +} |