Skip to content

utils/fetchtools: Stage patches on the target#358

Merged
apaolillo merged 1 commit into
mainfrom
stagepatches
Jul 8, 2026
Merged

utils/fetchtools: Stage patches on the target#358
apaolillo merged 1 commit into
mainfrom
stagepatches

Conversation

@apaolillo

Copy link
Copy Markdown
Collaborator

git_apply_patches raised FileNotFoundError whenever a patch file was not already present on the target machine. For a remote run the patches live in the orchestrator's benchkit tree, not on the board, so any fetch that applies patches (e.g. LevelDB) failed on a fresh remote target.

It now copies the patch to the target under the benches dir (_patches//) and applies it from there. Local runs are unchanged (the patch is already present).

git_apply_patches raised FileNotFoundError whenever a patch file was not
already present on the target machine. For a remote run the patches live
in the orchestrator's benchkit tree, not on the board, so any fetch that
applies patches (e.g. LevelDB) failed on a fresh remote target.

It now copies the patch to the target under the benches dir
(_patches/<repo-name>/<patch-name>) and applies it from there. Local
runs are unchanged (the patch is already present).

Signed-off-by: Antonio Paolillo <apaolill@gmail.com>
@apaolillo apaolillo requested a review from matsvanmolle July 8, 2026 08:15
@apaolillo apaolillo self-assigned this Jul 8, 2026

@matsvanmolle matsvanmolle left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@apaolillo apaolillo merged commit 9276082 into main Jul 8, 2026
2 checks passed
@apaolillo apaolillo deleted the stagepatches branch July 8, 2026 08:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants