diff options
| author | Curtis J Bezault <curtbezault@gmail.com> | 2019-08-09 11:59:32 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-09 11:59:32 -0400 |
| commit | c4f1a91ef245ed3e44ea11f13040a77453126165 (patch) | |
| tree | 3e6c99d970fe8a5fcd1551bbcbf9fde4f0b0a3a4 /ports/openxr-loader/0003-windows-path-python-fix.patch | |
| parent | 9da7c5c99ee42e382895dbd0dafdd29beaa61075 (diff) | |
| parent | 743e168ef5c7705e44d1d5cab5b9cca22328345e (diff) | |
| download | vcpkg-c4f1a91ef245ed3e44ea11f13040a77453126165.tar.gz vcpkg-c4f1a91ef245ed3e44ea11f13040a77453126165.zip | |
Merge branch 'master' into external_file_abi
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, 0 insertions, 16 deletions
diff --git a/ports/openxr-loader/0003-windows-path-python-fix.patch b/ports/openxr-loader/0003-windows-path-python-fix.patch deleted file mode 100644 index a68f87722..000000000 --- a/ports/openxr-loader/0003-windows-path-python-fix.patch +++ /dev/null @@ -1,16 +0,0 @@ -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 |