diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/clinic/clinic.py | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/Tools/clinic/clinic.py b/Tools/clinic/clinic.py index 6be0ab2..0845a8e 100755 --- a/Tools/clinic/clinic.py +++ b/Tools/clinic/clinic.py @@ -4335,7 +4335,10 @@ def main(argv): cmdline.add_argument("-o", "--output", type=str) cmdline.add_argument("-v", "--verbose", action='store_true') cmdline.add_argument("--converters", action='store_true') - cmdline.add_argument("--make", action='store_true') + cmdline.add_argument("--make", action='store_true', + help="Walk --srcdir to run over all relevant files.") + cmdline.add_argument("--srcdir", type=str, default=os.curdir, + help="The directory tree to walk in --make mode.") cmdline.add_argument("filename", type=str, nargs="*") ns = cmdline.parse_args(argv) @@ -4406,7 +4409,12 @@ def main(argv): print() cmdline.print_usage() sys.exit(-1) - for root, dirs, files in os.walk('.'): + if not ns.srcdir: + print("Usage error: --srcdir must not be empty with --make.") + print() + cmdline.print_usage() + sys.exit(-1) + for root, dirs, files in os.walk(ns.srcdir): for rcs_dir in ('.svn', '.git', '.hg', 'build', 'externals'): if rcs_dir in dirs: dirs.remove(rcs_dir) |