distok/cutthecord
Archived
25
45
Fork 18
Code Issues 53 Pull requests 2 Releases Wiki Activity

Fix a bug in patchport

Browse source
This commit is contained in:
ave 2019-03-21 14:02:40 +03:00
parent 29ca523bfe
commit fec4f2ae24
No known key found for this signature in database
GPG key ID: 09356ABAA42C842B
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
patchport.py
View file

@ -119,6 +119,7 @@ for patch in os.listdir(os.path.join(cutthecord_folder, "patches")):
with open(out_path, "w") as f:
f.write(patch_contents)
if not out_path.endswith("-failed"):
print(f"PORTED: {patch} was successfully ported.")
if failures: