From 0fd73783db41792ef9ff8361de5da03fead3d1d6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Motiejus=20Jak=C5=A1tys?= Date: Mon, 30 Jan 2023 19:11:20 -0800 Subject: [PATCH] ci/launcher: colors --- ci/launcher | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/launcher b/ci/launcher index d5b0875..25dc320 100755 --- 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 \