Browse Source

Merge pull request #1702 from zhmt/master

binding_generator.py: Don't error if directory already exists
David Snopek 4 months ago
parent
commit
654de13b5c
1 changed files with 1 additions and 1 deletions
  1. 1 1
      binding_generator.py

+ 1 - 1
binding_generator.py

@@ -293,7 +293,7 @@ def _generate_bindings(api, api_filepath, use_template_get_node, bits="64", prec
     target_dir = Path(output_dir) / "gen"
 
     shutil.rmtree(target_dir, ignore_errors=True)
-    target_dir.mkdir(parents=True)
+    target_dir.mkdir(parents=True, exist_ok=True)
 
     real_t = "double" if precision == "double" else "float"
     print("Built-in type config: " + real_t + "_" + bits)