From 010cadd3b8b9bc524b1c61c4338e32262d49632b Mon Sep 17 00:00:00 2001
From: Ayush Ranjan <ayushranjan@google.com>
Date: Fri, 22 Jan 2021 09:39:52 -0800
Subject: [PATCH] [infra] Fix Build Github action failure.

The GH Build action has been failing with the error message:
```
--- BUILD -c opt //runsc
tee: /proc/self/fd/2: No such device or address
```

tee /dev/fd/2 seems to be the canonical way of copying stdin to stderr.
So use that instead.

PiperOrigin-RevId: 353259087
---
 tools/bazel.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/bazel.mk b/tools/bazel.mk
index 2b20457e9..fb0fc6524 100644
--- a/tools/bazel.mk
+++ b/tools/bazel.mk
@@ -191,7 +191,7 @@ endif
 build_paths = \
   (set -euo pipefail; \
   $(call wrapper,$(BAZEL) build $(BASE_OPTIONS) $(BAZEL_OPTIONS) $(1)) 2>&1 \
-  | tee /proc/self/fd/2 \
+  | tee /dev/fd/2 \
   | sed -n -e '/^Target/,$$p' \
   | sed -n -e '/^  \($(subst /,\/,$(subst $(SPACE),\|,$(BUILD_ROOTS)))\)/p' \
   | sed -e 's/ /\n/g' \