ci/launcher: colors

2023-01-30 19:11:20 -08:00 · 2023-01-30 19:11:20 -08:00 · 0fd73783db
parent 13a7d6800e
commit 0fd73783db
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 --run_under=echo @zig_sdk//:zig)}
+ZIG=${ZIG:-$(bazel run "$@" --run_under=echo @zig_sdk//:zig)}

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