diff --git a/benchmarks/BUILD b/benchmarks/BUILD index 9515e8653e..07207fc6c7 100644 --- a/benchmarks/BUILD +++ b/benchmarks/BUILD @@ -249,4 +249,5 @@ genrule( cmd = "size $$($$OSTYPE == 'linux-gnu' ? '--format=GNU -d' : '') $(SRCS) > $@", # "size" sometimes isn't available remotely. local = 1, + tags = ["no-remote-exec"], )