diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/bazeldefs/platforms.bzl | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/tools/bazeldefs/platforms.bzl b/tools/bazeldefs/platforms.bzl index 132040c20..165b22311 100644 --- a/tools/bazeldefs/platforms.bzl +++ b/tools/bazeldefs/platforms.bzl @@ -3,10 +3,7 @@ # Platform to associated tags. platforms = { "ptrace": [], - "kvm": [ - "manual", - "local", - ], + "kvm": [], } default_platform = "ptrace" |