mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-12-27 09:57:49 +08:00
0c8139dbe8
* [openxr] add initial port * [openxr-loader] Set executable suffix * [openxr-loader] Use correct checks for Windows * [openxr-loader] Add failure messages for unsupported platforms
17 lines
896 B
Diff
17 lines
896 B
Diff
diff --git a/specification/scripts/generator.py b/specification/scripts/generator.py
|
|
index d6a1afe..5f9d0b6 100644
|
|
--- a/specification/scripts/generator.py
|
|
+++ b/specification/scripts/generator.py
|
|
@@ -516,9 +516,10 @@ 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)
|
|
+ directory = self.genOpts.directory
|
|
if not os.path.exists(directory):
|
|
os.makedirs(directory)
|
|
- self.outFile = io.open(directory / self.genOpts.filename, 'w', encoding='utf-8')
|
|
+ self.outFile = io.open(directory + '/' + self.genOpts.filename, 'w', encoding='utf-8')
|
|
else:
|
|
filename = self.genOpts.directory + '/' + self.genOpts.filename
|