mirror of
https://github.com/mongodb/mongo.git
synced 2024-12-01 01:21:03 +01:00
3aaeb68185
GitOrigin-RevId: 537c210cca33e1f18d54b43c5212e215037a4ac1
7 lines
188 B
Plaintext
7 lines
188 B
Plaintext
package(default_visibility = ['//visibility:public'])
|
|
platform(name = 'host',
|
|
# Auto-detected host platform constraints.
|
|
constraint_values = [{platform_constraints}],
|
|
{exec_props}
|
|
)
|