diff options
| author | Juan Ramos <juan@lunarg.com> | 2022-12-02 17:53:51 -0700 |
|---|---|---|
| committer | Juan Ramos <114601453+juan-lunarg@users.noreply.github.com> | 2022-12-05 09:04:49 -0700 |
| commit | ce45337c51ed53e6f1b337aa746a5a96c5018f86 (patch) | |
| tree | dffae9f84d67aaf5a65ee09d0d5f4e1a304340e8 /scripts | |
| parent | b17374498fcd4612e758a911fb11a8c2d0451dc0 (diff) | |
| download | usermoji-ce45337c51ed53e6f1b337aa746a5a96c5018f86.tar.xz | |
ci: Speed up MacOS builds
Caches update_deps.py dependencies.
In particular MoltenVK since it's a huge dependency.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update_deps.py | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/scripts/update_deps.py b/scripts/update_deps.py index 105ef22f..f892be0a 100755 --- a/scripts/update_deps.py +++ b/scripts/update_deps.py @@ -652,6 +652,12 @@ def main(): help="Delete install directory before building", default=False) parser.add_argument( + '--skip-existing-install', + dest='skip_existing_install', + action='store_true', + help="Skip build if install directory exists", + default=False) + parser.add_argument( '--arch', dest='arch', choices=['32', '64', 'x86', 'x64', 'win32', 'win64'], @@ -694,6 +700,14 @@ def main(): if not repo.on_build_platform: continue + # Skip building the repo if its install directory already exists + # and requested via an option. This is useful for cases where the + # install directory is restored from a cache that is known to be up + # to date. + if args.skip_existing_install and os.path.isdir(repo.install_dir): + print('Skipping build for repo {n} due to existing install directory'.format(n=repo.name)) + continue + # Skip test-only repos if the --tests option was not passed in if repo.IsOptional(args.optional): continue |
