build: fix missing patch config dir error (#35451)

This commit is contained in:
Shelley Vohr 2022-08-25 18:39:16 +02:00 committed by GitHub
parent 3eb593dfde
commit 8128fa6d85
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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():