mirror of
https://github.com/nigels-com/glew.git
synced 2024-11-25 15:25:07 +00:00
Use os.path.join to create paths
Paths should be created using os.path.join with this way is platform independent.
This commit is contained in:
parent
749aec8b9b
commit
fb0f210598
@ -135,11 +135,11 @@ if __name__ == '__main__':
|
|||||||
|
|
||||||
if len(options['core']):
|
if len(options['core']):
|
||||||
for i in api[2].keys():
|
for i in api[2].keys():
|
||||||
with open('%s/%s'%(options['core'], i), 'wb') as f:
|
with open(os.path.join(options['core'], i), 'wb') as f:
|
||||||
writeExtension(f, i, api[2][i], api[0], api[1])
|
writeExtension(f, i, api[2][i], api[0], api[1])
|
||||||
|
|
||||||
if len(options['extensions']):
|
if len(options['extensions']):
|
||||||
for i in api[3].keys():
|
for i in api[3].keys():
|
||||||
with open('%s/%s'%(options['extensions'], i), 'wb') as f:
|
with open(os.path.join(options['extensions'], i), 'wb') as f:
|
||||||
writeExtension(f, i, api[3][i], api[0], api[1])
|
writeExtension(f, i, api[3][i], api[0], api[1])
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user