diff options
author | David Robillard <d@drobilla.net> | 2010-10-06 17:47:57 +0000 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2010-10-06 17:47:57 +0000 |
commit | 7f6a71598ed8c92b00763772009cc9a2cea3b4bf (patch) | |
tree | 6b281c5b2a5631c536b4497593b65a6c443023e7 /lv2include/lv2include.py | |
parent | 230a3a7cc60ef5251f1ddf3e93185752b3376455 (diff) | |
download | lv2-7f6a71598ed8c92b00763772009cc9a2cea3b4bf.tar.xz |
Add scheme to include path.
Diffstat (limited to 'lv2include/lv2include.py')
-rwxr-xr-x | lv2include/lv2include.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/lv2include/lv2include.py b/lv2include/lv2include.py index 4065d8b..4d9851c 100755 --- a/lv2include/lv2include.py +++ b/lv2include/lv2include.py @@ -88,9 +88,10 @@ def build_tree(search_path, outdir): # Query extension URI results = manifest.find_statements(RDF.Statement(None, rdf.type, lv2.Specification)) for r in results: - ext_uri = str(r.subject.uri) - ext_path = os.path.normpath(ext_uri[ext_uri.find(':') + 1:].lstrip('/')) - ext_dir = os.path.join(outdir, ext_path) + ext_uri = str(r.subject.uri) + ext_scheme = ext_uri[0:ext_uri.find(':')] + ext_path = os.path.normpath(ext_uri[ext_uri.find(':') + 1:].lstrip('/')) + ext_dir = os.path.join(outdir, ext_scheme, ext_path) # Make parent directories __mkdir_p(os.path.dirname(ext_dir)) |