From 378a27b640e5f7ec4a25b57cb70839e4445c78ed Mon Sep 17 00:00:00 2001
From: Joshua Haberman <jhaberman@gmail.com>
Date: Wed, 11 Nov 2020 19:06:14 -0800
Subject: [PATCH] Force "size" to run locally.

---
 benchmarks/BUILD | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/benchmarks/BUILD b/benchmarks/BUILD
index 7d0523278c..720f8c681b 100644
--- a/benchmarks/BUILD
+++ b/benchmarks/BUILD
@@ -193,4 +193,6 @@ genrule(
     outs = ["size_data.txt"],
     # We want --format=GNU which counts rodata with data, not text.
     cmd = "size $$($$OSTYPE == 'linux-gnu' ? '--format=GNU -d' : '') $(SRCS) > $@",
+    # "size" sometimes isn't available remotely.
+    local = 1,
 )