diff --git a/utils/inject-diff.py b/utils/inject-diff.py index ee46794..80d46d8 100755 --- a/utils/inject-diff.py +++ b/utils/inject-diff.py @@ -12,13 +12,15 @@ def inject_diff(): out = [] with open(source_file,'r') as src: src_content = src.read() + if len(src_content) > 60000: + logging.warning(f"{source_file} is longer than 60k characters, truncating") + src_content = src_content[:60000] with open(target_file,'r') as tgt: for line in tgt.readlines(): if placeholder in line: out.append(line.replace(placeholder,src_content)) else: out.append(line) - logging.info(out) with open(target_file,'w') as tgt: tgt.writelines(out)