mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-12-26 10:10:32 +00:00
handle-subprojects-cache.py: Fix shebang
This commit is contained in:
parent
7c557c2d65
commit
c4e14ef426
1 changed files with 5 additions and 3 deletions
|
@ -1,4 +1,4 @@
|
|||
#!/usr/bin/python
|
||||
#!/usr/bin/env python3
|
||||
|
||||
"""
|
||||
Copies current subproject git repository to create a cache
|
||||
|
@ -14,6 +14,7 @@ PARSER = argparse.ArgumentParser()
|
|||
PARSER.add_argument('subprojects_dir')
|
||||
PARSER.add_argument('--build', action="store_true", default=False)
|
||||
|
||||
|
||||
def create_cache_in_image(options):
|
||||
os.makedirs(DEST, exist_ok=True)
|
||||
print("Creating cache from %s" % options.subprojects_dir)
|
||||
|
@ -28,7 +29,8 @@ def create_cache_in_image(options):
|
|||
|
||||
|
||||
def copy_cache(options):
|
||||
for path in [DEST, "/gst-build/subprojects", r"C:\gst-build\subprojects"]: # FIXME Remove when not needed anymore.
|
||||
# FIXME Remove when not needed anymore.
|
||||
for path in [DEST, "/gst-build/subprojects", r"C:\gst-build\subprojects"]:
|
||||
if not os.path.exists(path):
|
||||
print("%s doesn't exist." % path)
|
||||
continue
|
||||
|
@ -55,4 +57,4 @@ if __name__ == "__main__":
|
|||
if options.build:
|
||||
create_cache_in_image(options)
|
||||
else:
|
||||
copy_cache(options)
|
||||
copy_cache(options)
|
||||
|
|
Loading…
Reference in a new issue