diff --git a/ci/cached-builds/gha_pr_changed_files.py b/ci/cached-builds/gha_pr_changed_files.py index 17b754c03..b2bc5e0e9 100644 --- a/ci/cached-builds/gha_pr_changed_files.py +++ b/ci/cached-builds/gha_pr_changed_files.py @@ -2,10 +2,12 @@ import os import pathlib import re +import shutil import subprocess import unittest PROJECT_ROOT = pathlib.Path(__file__).parent.parent.parent.resolve() +MAKE = shutil.which("gmake") or shutil.which("make") def get_github_token() -> str: @@ -30,7 +32,7 @@ def analyze_build_directories(make_target) -> list[str]: pattern = re.compile(r"#\*# Image build directory: <(?P