[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
This commit is contained in:
Ayush Ranjan
2021-01-22 09:42:15 -08:00
committed by gVisor bot
parent e0f4e46e34
commit 010cadd3b8
+1 -1
View File
@@ -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' \