diff options
| author | Lenny Komow <[email protected]> | 2019-04-08 16:14:05 -0600 |
|---|---|---|
| committer | Lenny Komow <[email protected]> | 2019-04-08 16:26:14 -0600 |
| commit | 08cbb5458f692d4778806775f65eb3dc642ddbbf (patch) | |
| tree | 97a2e05aedc55c27fb74955329a1397d6a6c59ad | |
| parent | 87837fcd429f1cfc6e202e22adef32b8eecefad5 (diff) | |
| download | Vulkan-Headers-08cbb5458f692d4778806775f65eb3dc642ddbbf.tar.gz Vulkan-Headers-08cbb5458f692d4778806775f65eb3dc642ddbbf.zip | |
scripts: Fix generator on Windows with Python < 3.6v1.1.106sdk-1.1.106.0sdk-1.1.106
| -rw-r--r-- | registry/generator.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/registry/generator.py b/registry/generator.py index d6a1afe..58168cd 100644 --- a/registry/generator.py +++ b/registry/generator.py @@ -516,10 +516,9 @@ class OutputGenerator: # Generator can be used without writing to a file. if self.genOpts.filename is not None: if sys.platform == 'win32': - directory = Path(self.genOpts.directory) - if not os.path.exists(directory): + if not os.path.exists(self.genOpts.directory): os.makedirs(directory) - self.outFile = io.open(directory / self.genOpts.filename, 'w', encoding='utf-8') + self.outFile = io.open(self.genOpts.directory + '/' + self.genOpts.filename, 'w', encoding='utf-8') else: filename = self.genOpts.directory + '/' + self.genOpts.filename self.outFile = io.open(filename, 'w', encoding='utf-8') |