summaryrefslogtreecommitdiffhomepage
path: root/tools/bazel.mk
diff options
context:
space:
mode:
Diffstat (limited to 'tools/bazel.mk')
-rw-r--r--tools/bazel.mk2
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' \