diff options
author | Esteban de la Canal <estebandlc@google.com> | 2017-11-21 21:48:48 -0800 |
---|---|---|
committer | Esteban de la Canal <estebandlc@google.com> | 2017-11-21 21:48:48 -0800 |
commit | 82e3115ccb5255298dc2037460cb4aa133db1af2 (patch) | |
tree | e3380bb51f882e9350ae02867c7e79f77a10cd0e | |
parent | 2631affe61ad74ca3575af58a9a7edec54a56596 (diff) | |
download | manifest-82e3115ccb5255298dc2037460cb4aa133db1af2.tar.gz |
Adds bazel.rc copy to ./tools
-rw-r--r-- | default.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.xml b/default.xml index 2dd729e1c..aa42f9fb6 100644 --- a/default.xml +++ b/default.xml @@ -100,6 +100,7 @@ <project path="tools/base" name="platform/tools/base"> <copyfile src="bazel/tools.idea.BUILD" dest="tools/BUILD"/> <copyfile src="bazel/toplevel.WORKSPACE" dest="WORKSPACE"/> + <copyfile src="bazel/toplevel.bazel.rc" dest="tools/bazel.rc"/> <copyfile src="bazel/sdk/prebuilts.studio.sdk.BUILD" dest="prebuilts/studio/sdk/BUILD"/> <copyfile src="bazel/sdk/prebuilts.studio.sdk.README.md" dest="prebuilts/studio/sdk/README.md"/> </project> |