From 88362d668b0efffe77d70f8a40d1d5fd60ff01d8 Mon Sep 17 00:00:00 2001 From: Marty Sluijtman Date: Wed, 24 Jul 2024 10:25:34 +0200 Subject: [PATCH] This might help --- src/bin/thaw | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bin/thaw b/src/bin/thaw index 4141304..2d3753a 100755 --- a/src/bin/thaw +++ b/src/bin/thaw @@ -15,7 +15,7 @@ def main [ $"--target-host ($machine)" } - let printBuildLogs = if $print_build_logs { + let printBuildLogs = if $verbose { $"--verbose" }