diff options
-rw-r--r-- | src/test/docker/BUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/test/docker/BUILD b/src/test/docker/BUILD index cf017986ed..195c3faf52 100644 --- a/src/test/docker/BUILD +++ b/src/test/docker/BUILD @@ -50,12 +50,12 @@ SHARD_NUMBER = { ], local = 1, main = "docker_test.py", - tags = ([ + tags = [ "docker", "exclusive", "local", "shard-%s" % SHARD_NUMBER[mode], - ] + ["manual"]) if (flavour == "debian-stretch") else [], + ] + (["manual"] if (flavour == "debian-stretch") else []), deps = ["//third_party/py/gflags"], ) for mode in SHARD_NUMBER] for flavour in FLAVOURS |