diff options
| -rw-r--r-- | etc/repos.json | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/etc/repos.json b/etc/repos.json index 109d2a2b..a7aa4095 100644 --- a/etc/repos.json +++ b/etc/repos.json @@ -16,10 +16,17 @@ } , "bootstrap": {"link": ["-lgit2", "-lpthread"]} } - , "defaults": {"repository": {"type": "file", "path": "etc/defaults"}} - , "patches": {"repository": {"type": "file", "path": "etc/patches"}} + , "defaults": + { "repository": + {"type": "file", "path": "etc/defaults", "pragma": {"to_git": true}} + } + , "patches": + { "repository": + {"type": "file", "path": "etc/patches", "pragma": {"to_git": true}} + } , "rules": - { "repository": {"type": "file", "path": "rules"} + { "repository": + {"type": "file", "path": "rules", "pragma": {"to_git": true}} , "target_root": "defaults" , "rule_root": "rules" , "bindings": {"protoc": "protobuf", "grpc": "com_github_grpc_grpc"} @@ -61,7 +68,10 @@ , "rule_root": "rules" , "target_file_name": "TARGETS.git2" } - , "import targets": {"repository": {"type": "file", "path": "etc/import"}} + , "import targets": + { "repository": + {"type": "file", "path": "etc/import", "pragma": {"to_git": true}} + } , "gsl-lite": { "repository": { "type": "archive" |