diff --git a/script/export_all_patches.py b/script/export_all_patches.py index 49d56d856be5..a7d864eae698 100644 --- a/script/export_all_patches.py +++ b/script/export_all_patches.py @@ -2,13 +2,15 @@ import argparse import json +import os from lib import git def export_patches(dirs, dry_run): for patch_dir, repo in dirs.items(): - git.export_patches(repo=repo, out_dir=patch_dir, dry_run=dry_run) + if os.path.exists(repo): + git.export_patches(repo=repo, out_dir=patch_dir, dry_run=dry_run) def parse_args():