fix update ref script

old-commit-hash: 5182da31009e0dd62bd92abb98b1a5bc306ddee1
This commit is contained in:
Willem Melching
2020-05-10 18:55:48 -07:00
parent bd980f6048
commit 587d00d24a
@@ -37,6 +37,5 @@ if __name__ == "__main__":
if not no_upload:
upload_file(log_fn, os.path.basename(log_fn))
os.remove(log_fn)
os.remove(rlog_fn)
print("done")