From 48b57f5f6278fc28b5689d95e43e21fd8deb442a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?=
 <tothtamas28@users.noreply.github.com>
Date: Wed, 21 Aug 2024 09:46:36 +0000
Subject: [PATCH] Set log level in subprocess

---
 pyk/src/pyk/kdist/__main__.py | 7 +++++--
 pyk/src/pyk/kdist/_kdist.py   | 6 ++++++
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/pyk/src/pyk/kdist/__main__.py b/pyk/src/pyk/kdist/__main__.py
index 2701bdb841..1ca8700b6a 100644
--- a/pyk/src/pyk/kdist/__main__.py
+++ b/pyk/src/pyk/kdist/__main__.py
@@ -21,11 +21,12 @@
 
 def main() -> None:
     args = _parse_arguments()
+    log_level = loglevel(args)
 
-    logging.basicConfig(level=loglevel(args), format=LOG_FORMAT)
+    logging.basicConfig(level=log_level, format=LOG_FORMAT)
 
     if args.command == 'build':
-        _exec_build(**vars(args))
+        _exec_build(log_level=log_level, **vars(args))
 
     elif args.command == 'clean':
         _exec_clean(args.target)
@@ -45,6 +46,7 @@ def _exec_build(
     targets: list[str],
     args: list[str],
     jobs: int,
+    log_level: int,
     force: bool,
     verbose: bool,
     debug: bool,
@@ -54,6 +56,7 @@ def _exec_build(
         target_ids=_process_targets(targets),
         args=_process_args(args),
         jobs=jobs,
+        log_level=log_level,
         force=force,
         verbose=verbose or debug,
         clean=clean,
diff --git a/pyk/src/pyk/kdist/_kdist.py b/pyk/src/pyk/kdist/_kdist.py
index f2da8b1be8..996467270b 100644
--- a/pyk/src/pyk/kdist/_kdist.py
+++ b/pyk/src/pyk/kdist/_kdist.py
@@ -21,6 +21,7 @@
 from . import utils
 from ._cache import target_cache
 from .api import TargetId
+from .utils import LOG_FORMAT
 
 if TYPE_CHECKING:
     from collections.abc import Iterable, Iterator, Mapping
@@ -85,6 +86,7 @@ def build(
         *,
         args: Mapping[str, str] | None = None,
         jobs: int = 1,
+        log_level: int = logging.WARNING,
         force: bool = False,
         verbose: bool = False,
         clean: bool = True,
@@ -108,6 +110,7 @@ def submit(target_id: TargetId) -> None:
                     self._build_target,
                     target_id=target_id,
                     args=args,
+                    log_level=log_level,
                     force=force,
                     verbose=verbose,
                     clean=clean,
@@ -135,10 +138,13 @@ def _build_target(
         target_id: TargetId,
         args: dict[str, Any],
         *,
+        log_level: int,
         force: bool,
         verbose: bool,
         clean: bool,
     ) -> Path:
+        logging.basicConfig(level=log_level, format=LOG_FORMAT)
+
         target = target_cache().resolve(target_id)
         output_dir = self._target_dir(target_id)
         manifest_file = self._manifest_file(target_id)