Commit 744e799b authored by Seth Greenstein's avatar Seth Greenstein Committed by Jie Luo

Change "python" to "python_headers" in comment (#6046)

Following the instructions as is does not work, the new_local_repository rule needs to be called "python_headers"
parent a74c43bb
...@@ -9,7 +9,7 @@ ...@@ -9,7 +9,7 @@
# includes the following local_repository rule that points to this directory: # includes the following local_repository rule that points to this directory:
# #
# new_local_repository( # new_local_repository(
# name = "python", # name = "python_headers",
# path = __workspace_dir__ + "/util/python", # path = __workspace_dir__ + "/util/python",
# ) # )
cc_library( cc_library(
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment