branch | svghmi |
changeset 2772 | 3f1dd8312710 |
parent 2771 | 361366b891ca |
child 2775 | 3b93409ba22c |
--- a/svghmi/svghmi.py Wed Sep 11 12:24:30 2019 +0200 +++ b/svghmi/svghmi.py Thu Sep 12 12:54:36 2019 +0200 @@ -355,6 +355,8 @@ target_file.close() + res += ((target_fname, open(target_path, "rb")),) + runtimefile_path = os.path.join(buildpath, "runtime_svghmi1_%s.py" % location_str) runtimefile = open(runtimefile_path, 'w') runtimefile.write("""