diff --git a/benchmark/benchmark.py b/benchmark/benchmark.py index 954ebe43f..3a02e316f 100755 --- a/benchmark/benchmark.py +++ b/benchmark/benchmark.py @@ -432,6 +432,9 @@ def run_test( else: instructions = "" instructions += (testdir / ".docs/instructions.md").read_text() + instructions_append = testdir / ".docs/instructions.md" + if instructions_append.exists(): + instructions += instructions_append.read_text() instructions += prompts.instructions_addendum.format(file_list=file_list) io = InputOutput(