diff options
Diffstat (limited to 'tools/bazeldefs/platforms.bzl')
| -rw-r--r-- | tools/bazeldefs/platforms.bzl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/bazeldefs/platforms.bzl b/tools/bazeldefs/platforms.bzl new file mode 100644 index 000000000..165b22311 --- /dev/null +++ b/tools/bazeldefs/platforms.bzl @@ -0,0 +1,9 @@ +"""List of platforms.""" + +# Platform to associated tags. +platforms = { + "ptrace": [], + "kvm": [], +} + +default_platform = "ptrace" |