aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorJuan Ramos <juan@lunarg.com>2022-12-02 17:53:51 -0700
committerJuan Ramos <114601453+juan-lunarg@users.noreply.github.com>2022-12-05 09:04:49 -0700
commitce45337c51ed53e6f1b337aa746a5a96c5018f86 (patch)
treedffae9f84d67aaf5a65ee09d0d5f4e1a304340e8 /scripts
parentb17374498fcd4612e758a911fb11a8c2d0451dc0 (diff)
downloadusermoji-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-xscripts/update_deps.py14
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