ci/launcher: make it go faster

2023-01-30 19:08:30 -08:00 · 2023-01-30 19:08:30 -08:00 · 13a7d6800e
parent 11f7e1ad82
commit 13a7d6800e
1 changed files with 1 additions and 1 deletions
--- a/ci/launcher
+++ b/ci/launcher
@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 set -xeuo pipefail

-ZIG=${ZIG:-bazel run "$@" @zig_sdk//:zig --}
+ZIG=${ZIG:-$(bazel run --run_under=echo @zig_sdk//:zig)}

 for target in \
    aarch64-linux-gnu.2.19 \