diff options
| author | Ayush Ranjan <ayushranjan@google.com> | 2021-01-22 09:39:52 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-01-22 09:42:15 -0800 |
| commit | 010cadd3b8b9bc524b1c61c4338e32262d49632b (patch) | |
| tree | 905bf3f0d91009c675017f8b4153742b35133cf0 | |
| parent | e0f4e46e340f2f5e666332ac3ff14f113239400a (diff) | |
[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
| -rw-r--r-- | tools/bazel.mk | 2 |
1 files changed, 1 insertions, 1 deletions
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' \ |