diff options
| author | Bradley Austin Davis <bdavis@saintandreas.org> | 2019-07-15 14:42:45 -0700 |
|---|---|---|
| committer | Victor Romero <romerosanchezv@gmail.com> | 2019-07-15 14:42:44 -0700 |
| commit | 0c8139dbe8ef08ddf38c7f38e094c3cbc4c8bce9 (patch) | |
| tree | 99910a893fda43db0d9b88afe976c55eddcd47bb /ports/openxr-loader/0003-windows-path-python-fix.patch | |
| parent | 40200c829a7a4636ce75ae355dd47d2e458bca75 (diff) | |
| download | vcpkg-0c8139dbe8ef08ddf38c7f38e094c3cbc4c8bce9.tar.gz vcpkg-0c8139dbe8ef08ddf38c7f38e094c3cbc4c8bce9.zip | |
[openxr-loader] Initial port (#6339)
* [openxr] add initial port
* [openxr-loader] Set executable suffix
* [openxr-loader] Use correct checks for Windows
* [openxr-loader] Add failure messages for unsupported platforms
Diffstat (limited to 'ports/openxr-loader/0003-windows-path-python-fix.patch')
| -rw-r--r-- | ports/openxr-loader/0003-windows-path-python-fix.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/ports/openxr-loader/0003-windows-path-python-fix.patch b/ports/openxr-loader/0003-windows-path-python-fix.patch new file mode 100644 index 000000000..a68f87722 --- /dev/null +++ b/ports/openxr-loader/0003-windows-path-python-fix.patch @@ -0,0 +1,16 @@ +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 |